perm filename CHRON[1,JMC]113 blob
sn#881766 filedate 1990-02-05 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00050 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00004 00002
C00006 00003 FALL QUARTER 1979
C00009 00004 WINTER QUARTER 1980
C00014 00005 SPRING QUARTER 1980
C00019 00006 SUMMER QUARTER l980
C00023 00007 FALL QUARTER 1980
C00026 00008 WINTER QUARTER 1981
C00029 00009 SPRING QUARTER 1981
C00031 00010 SUMMER QUARTER 1981
C00033 00011 FALL QUARTER 1981
C00036 00012 WINTER QUARTER 1982
C00040 00013 SPRING QUARTER 1982
C00043 00014 SUMMER QUARTER 1982
C00046 00015 FALL QURTER 1982
C00048 00016 WINTER QUARTER 1983
C00058 00017 SPRING QUARTER 1983
C00067 00018 SUMMER QUARTER 1983
C00072 00019 FALL QUARTER 1983
C00078 00020
C00079 00021 WINTER QUARTER 1984
C00083 00022 SPRING QUARTER 1984
C00086 00023 SUMMER QUARTER 1984
C00094 00024 FALL QUARTER 1984
C00111 00025 WINTER QUARTER 1985
C00119 00026 SPRING QUARTER 1985
C00130 00027 SUMMER QUARTER 1985
C00149 00028 FALL QUARTER 1985
C00159 00029 WINTER QUARTER 1986
C00173 00030 SPRING QUARTER 1986
C00190 00031 SUMMER QUARTER 1986
C00205 00032 FALL QUARTER 1986
C00223 00033 WINTER QUARTER 1987
C00236 00034 SPRING QUARTER 1987
C00251 00035 SUMMER QUARTER 1987
C00274 00036 FALL 1987
C00288 00037 Nov LiTH-IDA-R-87-22\An Interactive System for Tagging Dialogues\Lars
C00294 00038 File Folder No. 1
C00297 00039 Dec Ltr of invitation to IFIP meeting in Warsaw/June 20-24 1988
C00305 00040 WINTER 1988
C00348 00041 1988 November
C00351 00042 1988 December
C00356 00043 1989 January
C00365 00044 February 1989
C00372 00045 1989 March
C00377 00046 1989 April
C00380 00047 1989 May
C00388 00048 1989 June
C00394 00049 1989 July
C00398 00050 AUGUST 1989
C00424 ENDMK
C⊗;
AAAI American Assn for Artificial Intelligence
ACM Association for Computing Machinery
AMPS
ATP
BBS The Behavioral and Brain Sciences
CASBS Center,Advanced Studies Behavioral Sciences
CCS Committee of Concerned Scientists
IFIP International Federation for Information Processing
ICCP International Conference on Collective Phenomena
III Information International Incorporated
SE2 Scientists and Engineers for Secure Energy
FALL QUARTER 1979
1101F79 AI Ctr. Technical Note Abstracts, SRI International
1101W79 Scott Kim, grad student
ll09W79 Academy Council on Foreign Policy. Salt II, NATO
ll16W79 Prof. Herbert Teager, Pattern Recogntion problems in AI
1201W79 Jackson, Philip. MS thesis, UCSC
1201W79 John Carr, letter from Xian, China re Chinese laboratory
1205F79 Dialnet Project + Paul Stoft, Hewlett Packard
1205F79 Lifschitz, re Dr. Grigorii Mints
1206F79 Larsen, Cecilia, Request for IBM version of LISP Program
1206F79 MIT Press, LISP 1.5 PROGRAMMER'S MANUAL.
12l7F79 ICCP, 4th. Organizing committee, letter to Joel Lebowitz
1218F79 Sperry Univac - re copyright materials
1218F79 Zh. Atanasov, Poland, Polish Academy of Sciences
12l8F79 IBM, Watson Research Lab. air ticket
1218F79 Michael Intriligator, UCLA, Abstract for Marschak Seminar
1219F79 J. Raviv, "Computer, Man and Society"
1220F79 R.C.T.Lee, National Tsing Hua U., re Dr. Sheu enrolling at Stanford
1220F79 Firdman, considerable correspondence
WINTER QUARTER 1980
0101W80 Schanberg article
0101W80 Technology and Society, Computer Technology opportunities
0100W80 Preserving Computer-related Source Materials
0110W80 Firdman
01l8W80 Dr. Alick Elithorn,Royal Free Hospital, London, NATO Symposium
0118W80 Indiana Univ. CS Dept., re expense voucher
0122W80 Computer use, Stan. U.Advisory Com. on Computer Use
0123W80 "Formalizing Ockham' Razor", J. Marschak Colloquium, UCLA
0124W80 Schanberg's article, JMC letter to NY TIMES
0130S80 ACM l979 Conference Tapes. Information Cassettes, Inc.
0206W80 B. Randell, invitation to AI Seminar Newcastle upon Tyne
0201W80 Prof. P. Beckmann, U. of Colorado, re liquid hydrogen
0212W80 Liu Zhong-fu, Harbin Inst. of Technology, Declining visit there
0211W80 Financing research in electronics, letter to "Forum"
0413W81 Webber and Nilsson, Permission to publish McCarthy. U. of Pennsylvania.
0214W80 Control of superluminal channel, Henry Stapp, Lawrence Lab
0225W80 CCS, visa application, title, vita for Soviet meeting.
0300W80 American Academy of Arts and Sciences, March l980
0306W80 Cartwright "error", letter and paper from Takeshi Hayashi, Kyushu U.
0310W80 Schanberg's article, letter from L. R. Abramson
0310W80 Doug Murray, U.S.-China Program, re Harbin Institute invitation
0312W80 Harold Deakins, Illinois Power, Decatur. Tape for 60 Minutes
0319W80 Metzger, H. P., THE COERCIVE UTOPIANS:THEIR HIDDEN AGENDA
0319W80 Metzger, H. P., BOVERNMENT FUNDED ACTIVISM:HIDING BBEHIND THE PUBLIC INTEREST
0320W80 Pereira, Luis Moniz Prof. Logic Programming
SPRING QUARTER 1980
0401S80 Syllabuus for Qualifying Exam in AI, Spring l980
0400S80 SE2, Status Update, February l980
0400S80 Solution to Branching Factor.., Judea Pearl,UCLA
0400S80 Learning Control of Production Systems, Abstract, Stolfo, Columbia U.
0402S80 NASA Software Research/Technology Workshop Abstracts
0417S80 James Craig, EE grad student studying in AI with JMC
0428S80 Machine Intelligence Workshop, l0th. Michie LE1
0501S8 SE2, Reprint from NUCLEONICS WEEK on reprocessing.
0509S80 ASPEN, Agenda - "Coping with U.S. Petroleum Supply Interruptions"0512S80
0512S80 Blattner, M., re NSF support of new project
0515S80 Aspen Institute, Wye meeting, May l980, Chauncey Starr
0519S80 ASPEN, Conclusions of workshop on Coping with U.S. Petroleum Supply.....
0500S80 SE2, Status Report May l980
0525S80 CCS, Firdman
0528S80 Boden letter. "The Case for Cognitive Biology"
0528S80 Research interests, Stanford faculty
0514S80 BBS. Article title to be BELIEFS, MACHINES, AND THEORIES.
0601S80 Black Tuesday, June l980
0605S80 Kahn, Robert. Request from T. Binford, access to ARPA VAX systems
0609S80 James Solinsky, LaJolla Institute Workshop invitation refused.
0623S80 Natural Language. Prof. Haugeland. MRHUG
0623S80 SE2 meeting Stanford. McCarthy speech reported.
0624S80 Song, Thais parody
0626S80 Legal Reason, Artifice of,John Kelly
0626S80 Friends of the Earth. Soft Energy path. Lovins.
0630S80 Walter Kiechel. Computer library
0630S80 Doszkocs and Rapp, Computer library
SUMMER QUARTER l980
0701E80 Haugeland, John. Weak Supervenience
0701E80 SUN Display Cluster, A Data-Disk Replacement
0701E80 Institute for Policy Studies, Anti-Technology
0702E80 Pearcey T., Caulfield Institute of Tech., Australia
0715E80 GIST Draft Manual
0716E80 Fr. Neil Hurley, SJ., Article by Teilhard de Chardin, Noosphere
0720E81 Murphy, George, Technology Licensing. Theft Protection, Passwords.
0722E80 Balzer, & Goldman.USC/ISI, Principles of Good Software Specifica.....
0722E80 AI Conference, Aug. l980. Title of speech. PROGRA.xgp[1,jra]
0730E80 Schnitzer, Kenneth, SE2, nuclear waste
073lE80 Dana Scott, LISP
0805E80 AAAI Editorial Board meeting, Aug. 20, l980
0829E80 Professor Kazuaki Iwata, Kobe University
0827E80 Hideyuki Takahashi
0901E80 Report on placement of engineering graduates
0901E80 The Plactic Ring, Lascoux and Schutzenberger
0908E80 International Workshop on Program Construction
0909E80 Scherlis, Wm. Paper submitted to POPL.
0917E80 Annual Faculty Report for Academic Year l979-80
0918E80 Michael Benefiel, Foreign Commercial Service, Tokyo. Wanted AI Info
0929E80 Henry, Margaret. Council for International Exchange of Scholars
0930E80 Gannis, Steve. Nuclear energy ad
FALL QUARTER 1980
1001F80 Tomita, Masaru. Potential Stanford student
1003F80 William Massy. Sent CBCL[F75,jmc]
1009F80 Fenaughty, A. L., III, letter re Alan Miller
1015F80 Crawford, F. W., Sigma Xi, thank you letter
1017F80 Swaminathan, K. Advice to Indian student.
1020F80 Zager, David. Advice re professional interests
1020F80 Pournelle, Jerry. America is an Undeveloped Country
1027F80 Haimila, Mervi. Telgram from Finland re Asset
1027F80 Gamble, Evan. Potential Stanford student
1030F80 Sigma Xi talk tape, Donald Snow, BYU
1024F80 P. Cheeseman, Australia
1101F80 Tie-cheng Wang.Academia Sinica. Referred to Nilsson. Chinese student.
1107F80 Five Year Outlook Report, National Academy of Sciences. Metzger.
1111F80 Elihu Gerson, Huxley quotation
1112F80 Nils Nilsson, Chinese student. Tie Cheng Wang
1113F80 MIT Press. Taylor, R. H.
1117F81 Stanford Symposium on Office Automation. Robert Landau.
1203F80 Brent Arnold, Henry Firdman (see Firdman envelope, shelfw)
1203F80 Data work send abroad. Database work
1206F80 Dennis Hamilton. Matl referred to D. Knuth.
1223F80 Subhas Chandra, University of South Pacific, Fiji
1229F80 Guenther Goerz. Germany. Erlangen
WINTER QUARTER 1981
0101W81 Reseda
0101W81 Steve Heims sents book review by Freeman Dyson. Von Neumann and Wiener
0102W81 Dennis Hamilton, letters and papers
0116W81 Fidelity Electronics. Chess Challenger part
0116W81 American Association for Advancement of Science, elected member,McCarthy
0116W81 SONY, Typecorder. new product
0202W81 Conquest of Outer Space, G.I. Petrov, Francis Kane. Soviet exploration.
0205∨81 Kasahara, Nippon Electric Co. NEC
0206W81 Michael Kelly
0313W81 DARPA, SEL, Robert Dutton, export of information, Richard Reynolds
0317W81 Habermann, Carnegie-Mellon. Distinguished Lecture Series
0327W81 LISP, Franz et peopinp Timing Project, s-1 NIL Project, Elisp
0331W81 Robert Trappl, Austria. Cybernetics.
SPRING QUARTER 1981
0401S81 Clara Torda
0415S81 MIT Retirement Plan for Staff Members, Variable Fund Annuity
0416S81 Mandeville
0417S81 NSF, DARPA, Workshop on Logic Programming for Intelligent Systems
Logicon
0421S81 Verkshop II, Sigsoft July l980. Neuman at SRI
0501S81 Ovshinsky, glass semiconductor
0501S81 Verification Workshop Attendance List
0511S81 Pereira, Luis, Lisbon visit
057S81 Perlis, Donald, re position in department. University of Rochester
0609S81 Robinson, Alan, letter re LOGLISP code and documentation
0615S81 Thomas, R., Laboratoire de Langues, Marseille
SUMMER QUARTER 1981
0601E81 Buchberger, Dr. B., Johannes Kepler Universitat Linz
0706E81 Danicic, I. University College Wales, re Lisp 1.5
0709E81 Greenberger, Martin, re Xerox machine
0724E81 Enikeev, A., Russian asking for to study with John at Stanford
0725E81 Sharma, Dr. B. K., India, re Indian student, Diego Fernandes
0728E81 Edozien, J., St. John's student re position in AI - paper included
0801E81 List of participants in Workshop of Logic Programming for Intelligent
Systems, Long Beach
0805E81 E.J. Neuhold, IFIP. Resigning from WG 2.2.
0821E81 David Curran, IJCAI paper
Teknowledge, Malicia
0826E81 Dimick, Brad
0901E81 John Nordin, Conference, Center for Theology and Natural Sciences, AI
Conference, Berkeley, January 1982
0908S81 Kuroda, IBM Japan, invitation to symposium, (Yamada)
0914E81 Shapiro, Stuart C., State University of New York at Buffalo
0921E81 Conference on Disorder and Order
0923E81 Spirulina, algae, food
0923E81 Clark, Keith. Paper on numerical integration, Negation as Failure
FALL QUARTER 1981
1023F81 Bayard Rustin, Advisory Council of Youth for Energy Independence
1023W81 American Academy of Arts and Sciences House, Boston
1027F81 Hammet, Paula, Australia
1029F81 Low-power Television. MIT research.
1105F81 R. Gunzenhauser, S and P Problem
1105F81 Yung-jen Hsu, Chinese student interested in graduate program
1111F81 Bentley, letter re research job
1116F81 Jacques Cohen, re Colmerauer
1117F81 Bossu and Siegel, Marseilles researchers
1117F81 Krause proposal, NSF
1119F81 Belovari, Gabor, Hungary, Kent State. Referred to Ursula Maydell.
1128F81 Kahn, Gary, application for research position
1203F81 Hayes-Roth, Barbara re position in Dept. Has vita
1204F81 Beeson proposal comments, NSF
1205F81 Guzman, Adolfo with address for Harold V. McIntosh
1209F81 Ambroziak, Jacek, Poland, student asking for summer research
1210F81 Chandrasekaran, B., India,letter to Edward Teller referring to JMC
Second letter
1214F81 Graevenitz, Alexander, article on anti-nuclear movement in U.S.
1216F81 Waltz, David. Requesting review of article for Communications of the ACM
1217F81 Murray, Bruce. Profile of Marvin Minsky in New Yorker magazine
1221F81 Order form from University of Rochester, October 1981
1220F81 Slobodan Jaukovic, invitation to AI meeting in Dubrovnik, Yugoslavia.
WINTER QUARTER 1982
0101W82 Marconi Fellowship, Lowell Wood, Aspen
0101W82 Harold Gilliam, article
0103W82 Wada,Eiiti Letter of recommendation for Norihisa Suzuki
0104W82 Greenspan, Steven, State University of New York at Buffalo
0104W82 Narayanan, A., University of Exeter. Ascribing Mental Predicates to
Computers
0119W82 Marshall Yovits, write chapter for Advances in Computers
0119W82 Luis Cesariny Calafate, Biologist, Portugal
0120W82 Joppinen from Finland, Exchange visitor
0123W82 Natasa Bozovic, application, Yugoslavia
0130W82 Meng Lee, application, Taiwan
0131W82 Stanford University News Service, News release on Russian visitors.
restrictions, university research, Roth, Lieberman, Umnov.
0131W82 Umnov application, visitin: professor
0201W82 Golub, Sandra Forsythe Memorial Fund
0201W82 Chang Fuu Chen, application for job
0209W82 Bernard Meltzer letter
2nd letter on Feb. l3
3rd letter on March 13
4th letter on June 29
0210W82 Jean Lucien Gloor, Nuclear Research, application
0215W82 Martin Ringle, article for Cognition and Brain Theory
0219W82 Erik Gilbert thesis progress report
0226W82 Edward Teller, Marconi Fellowship, Lowell Wood
0226W82 Carl Jansson, University of Stockholm, job as lecturer, information
processing
0301W82 David Eller, 764 Live Oak, Menlo Park. Pressey. Paper on nurture of genius.
0301W82 American Academy of Arts and sciences. Herbert Simon. Creativity
0301W82 IFIP, Meeting of WG 2.2. E.J. Neuhold. University of Stuttgart.
0305W82 Rothlein for recommendation for Rohit Parikh, City University of New York
0305W82 Lisp Conference. Martin Griss.
0310S82 Letter from H. Stanton (Bradford Books) re Haugland book.
0311W82 Lindsay Barker. Darling Downs. Re visit.
0317W82 Mark Mills and San Diego Gas and Electric,and letter to Los Angeles Times
0318S82 Steven Mock, Dept. of the Army, re Binford research proposal.
0319W82 Lars Kahn of Uppsala University. Opinion of paper on fuzzy.
0322W82 Cognitive Systems Laboratory. MEASA Gaschnig
0322W82 Culbertson, James, San Luis Obispo, on "Publicly Testable Consciousness"
0329∨82 Gabriel, Richard. Letter of recommendation.
0331W8s Maria DA Re, Milan. Requesting admission to Department.
SPRING QUARTER 1982
0401S82 Swedish Artificial Intelligence Society. Meeting April 1982.
find comtexomas Siolek, Comtex Scientific Corp. Research-database and microfiche
0407S82 from Albert Ferrando on self reference. San Rafael.
0412S82 Henry Kyburg, Univ. of Rochester, re Conference on Cognitive Curricula.
0420S82 Maria Simi, Univ. of Pisa. Re three wise men puzzle.
0504S82 Floyd Bloom, National Academy of Sciences. Five year report on
science and technology
0505S82 Six Year Faculty Plan. Letter Golub to Wessells.
0510S82 Univ. of London Engineering Exam.
0506S82 Lars Kahn. Swedish Board for Technical Devel. Consultant Agreement.
0525S82 Center for Theology and National Sciences, Berkeley, Bob Russell
0527S82 ATP Prize, Automatic Theorem Proving, Martin Davis and Jack Minker
0528S82 Inquiry about G. Agin from W. H. Freeman and Co.
0601S82 Delphi studies. letter from Prof. Rainer Kuhlen. U. of Konstanz.
0601S82 Richard Louv, San Diego, Book on change in U.S.
0604S82 visiting students, Delft Univ. Prof. Verbraeck and W.L. van der Poel
0605S82 Minutes of W.G. 2.2 Meeting in Garmisch, June 5-8,1982.
0607S82 John Miller, Trinity College. Siam meeting.
0624S82 Peter Szeredi, Prolog and Lisp, Imperial College, Dec-10 interpreter
SZEREDI INTERPRETER
0624S82 Peter Szeredi, re: introspection, prolog.
0630S82 National Geographic
SUMMER QUARTER 1982
0701E82 Association for Automated Reasoning, AAR
0701E82 Gerald Lieberman, Federal export regulations
0712E82 Kenneth Clark, letter declining visitor appointment
0720E82 Wm. Lott, Arizona. Counsel about study and college entrance.
0721E82 John Dunn, Florida. Inquiry about freelance work for ROTARIAN
0726E82 Herbert Simon, paper for ARTIFICIAL INTELLIGENCE
0801S82 CADE mailing list
0801E82 France, Minister of Education, job announcement
0802E82 Bobrow, Reviews of ARTIFICIAL INTELLIGENCE Journal.
0804E82 Comtex, Phoebe Huang's inquiry about reports issued by MIT.
0811E82 Gilman, Benjamin, mail interruption to Soviet Union
0826E82 Kolata, Gina, SCIENCE article, How Can Computers Get Common Sense? AI
0909E82 van Heeckeren van der Schoot. Inquiry on robotics. To Binford.
0915E82 Interview on inventions. Susan Gunther
0927E82 Edwin Pednault, representational homomorphism
0928E82 Roger Vogelsang, computers and common sense
0927E82 Ralph Lewis, computers and common sense
0927E82 Kursunoglu, Behram. Interdisciplinary Study on AI.
"Workshop on Biological Dimensions of AI"
0930E82 IFIP meeting. Venice, Mar. 1-5, 1983.
0930E82 Computers and Common Sense article in SCIENCE, Sept. 1982
FALL QURTER 1982
1002F82 M. L. Ginsberg, Brasenose College, Oxford. Job inquiry.
1003F82 Paul Rickey, publishing problems
1005F82 Kursunoglu. Interdisciplinary Study on AI.
1006F82 Lori Barnett, Digital Equipment Corp. Signatures for conf. collage.
1007F82 S.J.Kline,"Why the Sky is not Falling: Entropy, World Views,etc."
1008F82 Dale Johnson, Inquiry about LISP history. Stoyan referred.
1006F82 Comtex, subscription and info, Stanford AI memos
1011F82 Harold Fethe, Alza. "Models limits suggest reflexivity in nature"
1020F82 Mallory Selfridge, U.of CT. Question on Child program.
1018F82 John at St. Judes, Dublin, Ireland.
1108F82 Robert Kowalski. Thank you note for letter of recommendation
1111F82 Scott Palmer, ICP. ICP Interview.
1112F82 Roger Ressmeyer. Photographs. Prints attached.
1126F82 S. Dedijer, Univ. of Lund. Review Req.
1130F82 Faultfinder program (no author listed).
1201F82 H. Stoyan. Review req.
1207F82 K. Clark. Reimb. request.
1209F82 Henry Stanton, Bradford BooksMIT. JMC Collected works.
1220F82 Michael Morgan, Addison-Wesley. Stoyan book on LISP.
1222F82 Anthony Ralston. Request for article for Abacus.
1229F82 SPCA MX (POLITICAL FAKE)
WINTER QUARTER 1983
0106W83 Zhuang Xinhua. Resume
0107W83 Sun-ki Chai. LET BY NEED
0107W83 Campbell, John. Req. for contr. to Prolog.
0110W83 Mandel, Steve. UCSC AI course July 25-29.
0114W83 Chin-Chyuan Chen, Natl. Cheng-Kung Univ. RE: CIRCUMSCRIPTION
RE: NON-MONOTONIC
0117W83 Goguen. Background for C1 Seminar.
0117W83 Cruise, A.M. Hipparcos; Space-Age Astrometry. (Nature, vol.298.)
0119W83 Greenstadt, John. Industrial Lectureship. Copy of Golub's letter.
0119W83 Greenstadt, John. Industry Professorship. Course description.
0124W83 Greenstadt, John. Copy of Course description. Industrial lectureship.
0125W83 Report of the Advisory Committee on Coomputer Science and Computing.
0131W83 Kinnucan, Paul. Artificial Intelligence: Making Computers Smarter
AI AND MILITARY
0131W83 Baciocco, Albert J. Artificial Intelligence and C↑3I. AI AND MILITARY.
0131W83 The Good Soldier. Jack London? CRACKPOT;CRANK
0131W83 Hilts, Phil. Interview Transcript.
0131W83 Sidney Hook. Copy of letter by Leo Cherne re "Yellow Rain"
0201W83 Lifting the Curtain on Afghanistan's Horror. from WSJ 1/24/83.
0201W83 "Technological change isn't as fast as you might think". Campus Observer.
0203W83 WARPLAN Problem Solver
0216W83 D. Koller, Hebrew Univ. of Jerusalem. Request for recommendation for
S. Rosenschein.
0301W83 Drazovich, McCune & Payne. Artificial Intelligence: An Emerging
Military Technology. AI&DS. MILITARY,DEFENSE,AI
0301W83 Computer Professionals for Social Responsibility
0303W83 San Jose Mercury News article 3/3. "Artificial Heart Work called
unlikely at Stanford." HEART
0303W83 Douglas Gasner, Psychology Today. Memo. of Agreement/Mental Qualities
0304W83 Stuart J.D. Schwartzstein. Statement on Yellow Rain (Chemical &
Toxic Weapons use).
0305W83 Minutes of IFFP Working Group 2.2, Venice Italy, March 1 - 5, 1983.
0306W83 Article on Mosher dismissal (no date on article)
0308W83 Cornish, Ames. Multi-leveled Reasoning for Artificial Intelligence. CS226.
0309W83 Gerald Jonas. New Yorker. Strugatsky review.
0316W83 Campus Report article "Taksar telss how Soviets control profs visiting US"
0323W83 C.H. Max Freedman. Copy of his column quoting your letter to
NY Times Magazine.
SPRING QUARTER 1983
0407S83 Mark Todorovich resume (copy to Lowell Wood 4/14)
0414S83 "Artificial Hearts: unrealistic promises" Article in Campus report.
(re: BERNSTEIN)
0419S83 R.C.T. Lee. Invitation to be distinguised lecturer.
0421S83 Artificial Intelligence applied to C↑3I. Brown, David and H. Goodman.
0425S83 Gurba, Krysztof. Jagiellonian University, Krakow. Naturalness in AI.
0429S83 Don E. Gordon. Re: talk at Battelle conference. His article Army Mag.
0504S83 Bruce Buchanan. Introduction to the Memo Series of the Stanford
Artificial Intelligence Lboratory.
0506S83 R.C.T.Lee. Distinguished lecturer. Expenses allowed.
0509S83 J.E. Pournelle. Copy of letter to Bugliarello re Marconi Fellowship.
0514S83 History of Computer:Timesharing Origins. MIT Research Progam on
on Communications Policy.
0515S83 Judea Pearl. Chpt. 8.5, latest version
0516S83 Ithiel de Sola Pool. Thank you for participating in time-sharing session.
0518S83 Letter: Petition to Investigate the Hoover Institution.Re: HOOVER.HOOK
0519S83 Bracewell, R.N. The Discrete Hartley Transform
0523S83 "Fair Rules for High Tech Race", Japan Times. re: JAPAN
0525S83 Draft proposal for a conference and white paper on "Artificial Intelligence
and the Future of America" by Patrick Gunkel.
0531S83 Minutes of WG2.2 (Venice)
0531S83 Tom Gannon. Preliminary Alpha+Omega Program Plan. Digital.
0531S83 Info on 1982 AI Qual
0531S83 J.E. Pournelle. Marconi Intl. Fellowship nomination.
0531S83 8th IBM Symposium on Mathematical Foundations of Computer Science.
Program and various abstracts. re: JAPAN
0602S83 Photos taken in Kyoto
0602S83 LISP vs. PROLOG
0602S83 University of Tokyo Computer Center
0602S83 Alphonse Juilland. Hoover petition.
0602S83 Prophecy for the 20th Century. Asahi Evening News.
0602S83 A Master Key for the RSA Public-key Cryptosystem. Kenji Koyama.
0607S83 Goto, Shigeki. Some Anomalies in Negation as Failure. (PROLOG)
0607S83 Heinz Pagels, NYAS. Article for Annals.
Also attached: transcript of NYAS talk April 83 and cover letter of
9/2 sent with completed paper (Some Expert Systems Need Common Sense).
0607S83 Shigeki Goto. Some Anomalies in Negation as Failure
0610S83 Wu Yunzeng. Visit to US in next year.
0614S83 NCB Distinguished Speaker Programme. SOUVENIR
0615S83 Conversation with Taiwan's Premier Sun. Asian Wall Street Journal
0616S83 See, Hiow Tong. Mr. S and Mr. P problem.
0620S83 Paulson, Dennis. Questions about nuclear war.
0620S83 J. Andrew Freeman. What I want to do this Summer.
0621S83 Stanford Daily. Faculty debate on weapons research... RE: DEFENSE
0626S83 G. Gorz. Manuscript of LISP text in German.
0627S83 J.D. Ullman. Stanford Supercomputer Research Project.
0627S83 Outline of Research and Development Plans for Fifth Generation
Computer Systems. ICOT. April 1983.
0627S83 Monochrome Data Display Units. Tatung. re: TAIWAN.
0627S83 Singapore in Brief. 1982.
0627S83 Roster, Computer Science Chairmen Seminar. RE: NAMES. RE: IBM
0629S83 Don Caughey. Hoover question disregards social justice. HOOVER
0630S83 June 1983 REDUCE Newsletter
SUMMER QUARTER 1983
0701E83 Bibel, W. Bibliography.
0705E83 Woody Bledsoe. Instructions for AMS Contemporary Mathematics Series.
0706E83 Wei-hsing Wang. Taiwan photos.
0711E83 DARPA to Delevop Techniques for Computer `Intelligence'.Aviation Week
and Space Technology.
0712E83 D. Caughey. Academic Freedom... Stanford Daily. RE: HOOVER, FOOLS
0716@83 Bynum, Terrell W. Chess paper.
0728E83 J. Servan-Schreiber, Centre Mondial. Electronic Library Project.
0806E83 Cheng-San Wu. Natl. Cheng-Kung Univ. Taiwan.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0812E83 CAMP-LINZ Working group
0812E83 D.V. and G.V. Chudnovsky Laws of composition of Backlund transformations
and the universal form of completely integrable systems in dimensions
two and three.
0812E83 Einstein, Albert. Lens+Like Action of a Star by the Deviation of
Light in the Gravitational Field. SCIENCE, Vol. 84, No. 2188, Dec. 1936.
0812E83 Solar Bacterial Biomass Farm for Space Vehicles. H. Tributsch. SPACE
0812E83 Algal Bioregenerative Systems. R.L. Miller, C.H. Ward. SPACE
0812E83 Sidney Hook. The Response of a Humanist. From Free Inquiry magazine.
0812E83 Period -doubling route to chaos shows universality. PHYSICS TODAY 3/81.
0812E83 Blum, Robert L., Clinical Decision Making Aboard the Starship Enterprise.
0818E83 Scott Fahlman, CMU. Common Lisp Reference Manual. COMMON LISP
0825E83 University Centers for Rational Alternatives, Inc. Draft proposal
of the research Project and Educational Outreach on the Intellectual
Educational and Political Implications of the Campus Turmoil of the
0826E83 Brian Smith. Definition of the 3-LISP processor in MACLISP.
0826E83 Narinder Singh and Gordon Foyster. VLSI 3-LISP.
0914E83 Dr. A. Toni Cohen. "amb"
0916E83 John Leyerle, Canadian Inst. for Advanced Research. Reiter.
0918E83 Matt Ginsberg. Nov. visit plus rambling on logic.
0920E83 Lee A. Segel, Weizmann Inst. Recommendation for Ehud Shapiro.
0920E83 Wolfgang Bibel
0920E83 Alphonse Juilland. Presidential Library. HOOVER
0921E83 Thinking Machines (company) MINSKY
0927E83 Dr. Alice ter Meulen. January visit. C.V.
0930E83 John Leyerle. More on Reiter recommendation
FALL QUARTER 1983
1003F83 Alfred Meyer. Psychology Today article, "Little thoughts of Thinking
Machines"
1006F83 Recommendation for Charles Restivo, resume attached
1010F83 Ian Mason. Undecidability of the Metatheory of the Classical
Propositional Calculus. Stanford Philosophy Dept. 10/10/83.
1011F83 Vladimir Lifschitz. CV
1011F83 Glenn Campbell. Hoover. Reagan Library comments
1011F83 Yorick Wilks. July 1984 meeting of Amer. Assn. for Computational
Linguistics.
1013F83 Senate Agenda. 10/13/83
1014F83 NY Academy of Science. Copyright Transfer Agreement for
"Some Expert Systems Need Common Sense"
1015F83 Minutes.Possible Annual Reveiw of Artificial Intelligence and Letter
from William Kaufmann,editor of Annual Reveiws.
1026F83 Glenn Campbell. Analysis of Center for Public Affair/Reagan Library.
1027F83 Senate Agenda 10/27/83.
1027F83 Lee Segel, Weizmann Inst. Request for recommendation, Ehud Shapiro.
1031F83 Announcement/Call for Papers. 3nd International Conference on AI and
Information-Control Systems of Robots.
1101F83 Lynn Scarlet. REASON. Fifth Generation review.
1104F83 Bruce Buchanan. Comtex
1109F83 Clark Mollenhoff. The Atanasoff Story--A Beacon for Truth, Standards,
and Dedicated Scholarship.
1111F83 "Dietary Carcinogens and Anticarcinogens", Bruce N. Ames. Science, Vol. 221.
1116F83 Bruce Buchanan. Proposal for an Academic Data Service.
1121F83 Lynn Scarlett, Reason. Publication Contract for review of The Fifth
Generation.
1123F83 H. J. Zoffer. Univ. of Pittsburgh. Pople reference request.
1125F83 Dennis Paulson. Edited version of answers to his questions on nuclear war.
1128F83 Gordon Novak, Univ. of Texas, Austin. Doyle reference request.
1201F83 Randall Davis. Letter accompanying AIM 665, filed in librar.
1201F83 Strategic Computing: New Generation Computing Technology: A Strategic
Plan for its Development and Application to Critical Problems in Defense
RE: DARPA
1201F83 Unlearning has a stabilizing effect in collective memories, Hopfield,
Feinstein, Palmer.
The Function of Dream Sleep, Crick & Mitchison
Neural Networks and Physical Systems with Emergent Collective
Computational Abilities., Hopfield
1201F83 Ph. Roussel. Completeness of First Order Query Languages for
Relational Data Bases: a Semantical and Syntactical Characterization.
1201F83 Dietary Carcinogens and Anticarcinogens, Bruce Ames, Science vol. 221.
1201F83 Stoyan. Generische Funktionen und Daten-gesteurte Programmierung.
1201F83 J.A. Robinson. Logic Programming Research Center. Journal of Logic
Programming.
1205F83 Copy of letter from J. Minker to W. Bibel. re: MINC
1206F83 Bledsoe, ATP Prize Committee
1208F83 W. Richard Stark, Univ. of South Florida. Request for reference.
1212F83 Copy of Minsky proposal for SNATCH from Gwen Bell.
1219F83 M.N. Manougian. Re: Recommend. for W.R. Stark.
1231F83 M. Griffiths LISH/DEC 83/384. Un Projet Pilote de Bibliotheque
Electronique. CENTRE MONDIAL
1231F83 Asst. CVs. Martin Kay,Barbara Grosz, Robert C. Moore, Raymond Perrault,
Stanley Rosenschein,Brian C. Smith.
WINTER QUARTER 1984
0105W84 Kowalski. History of Logic Programming
0106W84 A. Borodin. Request for recommendation for R. Reiter.
0112W84 Senate agenda 1/12/84.
0112W84 Yorick Wilks. Workshop at Lake Como
0116W84 D. Chudnovsky. AFL-CIO advisory group.
0117W84 H.J.Zoffer. Pople recommendation request.
0123W84 P. Bierre. Clairvoyant Systems. Sensory Learning.
0124W84 W. Bledsoe. Re: Recommendation for J. R. Slagle.
0125W84 Copy of lttr. to D. Chudnovsky fr. Dennis Chamot, AFL-CIO.
0126W84 Roxanne St. Claire. Copy of Inference Corp news release.
0131W84 V. Lifschitz. On Non-Monotonic Reasoning
0201W84 Copy of Futures article.The 1984 Global System, Intelligent systems,
development stability and international security.S.Dedijer.
0202W84 Yorick Wilks. EUP Series.
0203W84 Harold C. Sox, Jr., MD. Request for recommendation on Shorliffe.
0208W84 Comtex Agreement, signed by Graeme Keeping
0209W84 O. H. Ibarra, Univ. of Minnesota. Req. for recommendation, J. Slagle.
0213W84 Kay Mills. Copy of her interview piece in LA Times
0214W84 SU News Svc. release on Reagan Library. RE: HOOVER.
0214W84 Stuart Umpleby. ASC. Invitation to Gordon Research Conf. on Cybernetics
0217W84 Vivian Bone, Edinburgh Univ. Press, req. for manuscript, social issues.
0224W84 Barry Soroka. Penquin cartoon.
0224W84 Princeton Univ. Press. Copyright, Automata Studies.
0224W84 Dennis L. Bark, Hoover Inst. U.S. Security and World Peace.
0302W84 Barbara Glynn. High Technology Science Center.
0308W84 Mark Wells. New Mexico State Univ. Req. for rec. for Lifschitz.
0312W84 Stanford Operating Budget guidelines, 1984-85.
0312W84 W. Marek, Univ. of Kentucky. semantics of non-monotonic logic.
0318W84 Veronica Dahl. Univ. of Kentucky. Abstract, Seminar on Logic Grammars.
0319W84 Phoebe Huang. Scientific DataLink/Comtex, royalty.
0324W84 Udelson, Daniel. Recommendation for Michael Brady.
0327W84 NYAS. Sheila Treitler. Galley proofs, panel discussion
0330W84 S. Takasu. Kyoto Univ. Visit 6/25-7/6/84.
SPRING QUARTER 1984
0410S84 Arnold Rosenberg. Re recommendation for James Slagle.
0417S84 Olof Widlund. Re recommendation for James Slagle.
0428S84 Re paper on Cellular Automata from Stephen Wolfram
0502S84 from AI Center, SRI re workshop, asking for $5,000 subsidy
0507S84 New York Times News Service terminating CSD news service
0511S84 Letter from David Probst, Concordia University
0511S84 Letter, Robt. Yantorno re academic discounts for regis at AAAI meetings
0514S84 Letter, Rob Goldblatt re leave at Stanford from Univ. of Auckland
Barwise referral
0516S84 Letter re Weierstrass function
0516S84 letter from Pheobe Huang.Re:termination clause in SAIL contract.
0515S84 Peter Mountain, South Africa, inquiry for job or student aid
0515S84 Prize from Tohoku University
0521S84 letter from C.E.A. Cadarache,re:Marseilles meeting.
0524S84 ITS rates, 1984
0528S84 Journal of Symbolic Computation
0529S84 George Johnson re interview
0530S84 Amelang, homosexuality
0610S84 Jastrow, Garn letters
0612S84 letter from Kurbegovich, crank
0621S84 letter to ACM, re two checks, 1984 and 1985 dues
062lS84 Veronica Dahl asks for travel expense and workshop subsidy from AAAI
0622S84 Letter from James Griesmer.University of California,Davis.Committee
on History and Philosophy of Science.Seminar invitation.
0622S84 Letter from Takayasu Ito.Stanford Visit. Japan Prize.
0625S84 Letters from Chu Chuan-lu, and Ryszard Michalski.
0628S84 letter from John Moore,Science and Technology Opinion proposal.
SUMMER QUARTER 1984
0702E84 letter from Bjorn Berg. robots.
0704E84 letter from Berthold van der Hout.Christiaan Huygens.
0705E84 copy of check sent to Sundial Associates. Casio watch repair.
0709E84 letter from K. Mani Chandy. U. of Texas,Austin. Re:Boyer and Moore.
0711E84 letter from Su-Shing Chen.
0718E84 letter from Bruce Melusen.
0723E84 copies of letters from Gene Golub to Keith Hall, Yoram Moses & William
Burley. Re: outsanding requirements.
0723E84 letter from Lynn Scarlett. Reason book review editor.
0725E84 letter from Irving Wladawsky-Berger.IBM confidentiality agreement.
0726E84 letter from Herbert Halbrecht.AAAI paper prize.
0807E84 letter from K.Mani Chandy.
0807E84 Goad proposal,unfunded.
0808E84 letter from Shigeki Goto.
0810E84 letter from Ed Fredkin, re:Czechoslovakia meeting, Sakharov.
0811E83 letter from Herbert Halbrecht.AAAI paper prize.
0811E84 letter from Veikko Rabtala.
0813E84 letter from Janusz Kowalik,re:workshop.
0814E84 summary National Science Foundation engineering programs.NSF.BOnnie Hale.
0814E84 Manley/Rebhoz petition.Hoover.
0814E84 Theories of Research,table of contents.Maria Nowakowska.
0815E84 draft of Jerry Hobbs'paper, The Logica Notation: Ontological Promiscuity.
Desiderata for a Logical Notation.
0817E84 Michael Griffiths, "Bibliotheque electronique",re:Centre Mondial.
0817E84 Announcement, Special year in Mathematical Logic and Theoretical
Computer Science.Re:Maryland.
0817E84 Marseilles meeting.
0817E84 Personal Consultant, Expert System Development Tools.Texas Instruments.
0817E84 American Council on Science and Health,Fifth Annual Report.
0817E84 John M. Olin Foundation,1983 Annual Report.
0817E84 Curriculum Vitae for Janusz Kowalik.
0817E84 Greg Hager, "Materials and Methodology", re: common sense
0831E84 CHRONOLOG, August 1984.
0910E84 letter from K. Mani Chandy,the University of Texas at Austin,
re Elaine Rich promotion.
re Elaine Rich promotion.
0917E84 letter from Allen L. Brown, from GE Schenectady, NY re: copy of
circumscription paper
0918E84 East West Round Table of NY. Re: John Fox
0918E84 letter from Dr. Dinl H. Eriksson, North Holland, re: jmc's review
of Feigenbaum's book "The Fifth Generation". Also Editorial Bulletin
of FGCS.
0918E84 letter from Dr. Leonard Bolc, Warsaw University, re: invitation to
jmc to write a book about AI.
0919E84 letter from V.S. Subrahmanian, re: request to endorse nomination
of Kowalski an Colmerauer for Turing Award.
0920E84 letter from Jay Buckingham, re:advice how to get started in AI
0920E84 letter from F.J. Corbato, MIT, re: nomination for American Academy.
0920E84 letter from Philip Lemmons, BYTE Journal, re: writing an article
on omputers and society.
0920E84 letter from Harold E. Bamford, NSF, re: proposal evaluation.
0920E84 letter from W. Marek Unive. of Kentucky, re: enclosed "A Natural
Semanticss for Modal Logic over Database and Model-Theoretic
Forcing I.
0920E84 paper, Computers and artificial intelligence, re: Plander.
0920E84 catalog. re: Computing Education Course Catalog, 1984-85,Information
Technology Services.
0921E84 letter from Joel Friedman, Dept of Philosophy, re: invitation to
participate in Hist. and Philo. of Science Series, UC Davis, Tuesday,
Oct 30, 4:00.
0921E84 letter from Maria Nowakowska, re: encl. books and papers.
0921E84 letter from Dan Bobrow, Xerox, re: some questions about AI, deadline
10/31/84.
0921E84 copy of letter to Ms. June D. Parrell, NAVELEX, re: Contract No.
N00039-82-C0250, Modification P00005.
0921E84 letter from S. Takasu, Kyoto Univ., re: manuscript for the proceedings
of the 8th IBM symposium.
0921E84 letter from Griffiths, re: suggesting seminar.
0921E84 letter from Dennis Paulson, Santa Barbara, re: response to questions.
0921E84 re: Bob Moore
0921E84 letter from Jon Barwise, re: CSLI initiators.
0921E84 letter from John Fox, re: talk to Midge Decter about new magazine
0921E84 letter from Morris Pripstein Lawrence Lab, re: Yelena Bonner.
0924E84 letter from Jacques Gualino, Centre Mondial, re: scientific board list
of members.
0924E84 letter from Bamford, NSF, re: proposals
0924E84 letter from Robert H. Halstead, Labooratory for Computer Science, re:
enclosed paper about Multilisp.
0924E84 copy of 1 + 1 = 0: New Math for a New Age, from Science 9/84.
0924E84 brochure, DEST 212 Multi-PS.
0924E84 brochure, Mohonk Mountain House.
0924E84 letter from Suppes, re: enclosed proposal for Advanced Placement
Calculus.
0924E84 Award notice, from Patricia Byers, re: EKL proposal.
FALL QUARTER 1984
1002F84 letter from Donald D. Steiner, Math. Dept. Iowa State Univ.
re: expenses
1002F84 letter (cc) from Dennis Chamot, re: labor, Chudnovsky.
1002F84 letter from Andrzej Szelc, re: his research
1002F84 letter from D.J. Morrison, re: advice for doctoral thesis.
1002F84 letter from Waqar Hasan, re: inquire about Jmc's current research projects.
1002F84 re: Hobbs, Commonsense Summer, Common Sense Summer
1002F84 paper. Yonathan Malachi and Zohar Manna, TABLOG The Deductive-
Tableau Programming Language.
1003F84 paper. Elaine Rich, Default Reasoning as Likelihood Reasoning, Dept. of
Comp.Science, The University of Texas at Austin.
1003F84 paper. Daniel Lehmann, Knowledge, Common Knowledge and related
puzzles, Inst. of Math. and Comp. Sci., Heb. Univ., Jerusalem, Israel.
1003F84 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knoweldge,
Dept. of Comp. Sci. Brooklyn College of CUNY.
1003F84 notes. Kreisel--Notes on non-monotonic reasoning.
1003F84 vitae. Charles W. Restivo.
1003F84 letter from Mitchell Brigell, Chicago Council of Scientists, re: AAAI
president
1003F84 letter from J.B. Mooney, Dept. of the Navy, re: invitation to participate
in review panel for Applied Research in AI.
1003F84 proposal. re:CBCL, Gardner.
1003F84 letter from Elmer G. Havens, NSF, re: grant no. DCR-8206565.
1003F84 report from III, re: Computer Integrated Publishing
1003F84 guide. SITN for fall 1984.
1003F84 letter from Mark E. Andersen, SMS, re: Cambridge LISP 68000.
1003F84 letter from Lynn Scarlett, REASON, re: review of Weapong and Hope.
1003F84 letter from K.L. Pothoven, Univ. of South Florida, re: tenure evaluation
for Dr. Stark.
1003F84 letter from Jon Barwise, re: summer school.
1004F84 letter from Francois Lapelerie, Rice University, re: meeting jmc.
1004F84 abstracts. Artificial Intelligence Journal, re: 1. Christoph Walther,
A Mechanical solution f Schubert's steamroller by many-sorted resolution.
2. Naive reasoning on physiics versus qualitative reasoning on systems.
3. Wong, A.K.C. Wong and David K.Y. Chiu, Probablistic inference system:
an event-covering approach. 4. M.L. Ginsberg, Analyzing incomplete
Information. 5. Stephen Fickas, A problem solving approach to software
Development.
1004F84 letter from Ben T. Williams, re: Dr. Perry Miller as AAAI rep. to
AAMSI.
1011F84 notes. re:Goodwin, international, debate. filed in NOTES (current bus.)
1015F84 Report. A Trip to China, Lipset.
1015F84 Letter from Clara N. Bush, re: noise on campus
1015F84 Letter from Jerry E. Pournelle, re: citizen advisory council
on national space policy.
1005F84 memo from Earl Cilley, re: Comtex AI agreement
1015F84 notes from Beeson panel with Winograd and Ornstein on Survival
and prosperity.
1015F84 paper. CPSR. Strategic computing -- An assessment.
1015F84 paper. Halpern, Joseph Y. and David A. McAllester
Likelihood, probability, and knowledge. IBM.
1015F84 paper. Halpern, Joseph Y. and Boris Trakhtenbrot, The
Semantics of local storage, or what makes the free list free. IBM.
1015F84 paper. Doyle, Jon. What is rational psychology -- Toward a modern
mental philosophy. CMU CS 83 106.
1015F84 paper. Doyle, Jon. Expert Systems without Computers. CMU CS 84 116.
1015F84 paper. Doyle, Jon. Admissible state semantics for representational
systems. CMU CS 83 124.
1015F84 paper. Doyle, Jon. The ins and outs of reason maintenance. CMU CS 83 126.
1015F84 paper. Doyle, Jon. A society of mind. CMU CS 83 127.
1015F84 paper. Doyle, Jon. Methdological simplicity in expert system construction.
CMU CS 83 114
1015F84 paper. Doyle, Jon. What should AI want from the supercomputer. CMU CS 83.
1015F84 paper. Doyle, Jon. The foundation of psychology. CMU CS 82 149.
1005F84 abstract. Charniak, Eugene. Motivation analysis, abductive
unification, and non-monotonic equality.
1015F84 paper. Lamport, Leslie. What if means for a concurrent program to
satisfy a specification: why no one has specified priority.
1015F84 paper. Nilsson, M. The world's shortest prolog interpreter.
1015F84 paper. Rich, Elaine. User modeling via streotypes.
1015F84 paper. Rich, Elaine A. A high-level interpretation algorithm
for points and ranges.
1015F84 paper. Rich, Elaine. Research at the university of texas.
1015F84 paper. Rich, Elaine. Users are individauls: indivisualizing user
models.
1015F84 paper. Rich, Elaine. Natural language interfaces.
1015F84 paper. Rich, Elaine. The gradual expansion of AI.
1015F84 paper. Cline, A.K. and Elaine Rich. Building and evaluating
abstract data types.
1015F84 SEKI-PROJEKT. SEKI memos (abstracts)
1015F84 paper. Rosenschein, Stan and Fernando Pereira. The flow of information
in physical systems: an alternative to the "representational" paradigm
for AI.
1015F84 paper. Kuck, Conrad. Non-monotonic learning automata. re: crank.
1024F84 letter from Stuart C. Shapiro, Ency. of AI, re: participation in
AI Encyc.
1024F84 letter from Bernard A. Galler, re: Seminar, Expo. 85, Japan. Proposal
attached.
1024F84 CHRONOLOG, Oct. 1984.
1024F84 document. Policy on Media Coverage for Senate Meetings.
1024F84 letter from R.L. Levien, re: LISP IBM PC.
1024F84 Newspaper, re: pre-schoolers reasoning.
1024F84 MICRODISC -- Stanford's microcomputer discount plan.
1101F84 paper. Jon Barwise, The Situation in Logic - Remarks on conditionals.
1101F84 paper. H. Barringer, J.H. Cheng, C.B. Jones - A Logic Covering
Undefinedness in Program Proofs.
1101F84 paper. C.B. Jones, Systematic Program Development
1101F84 paper. F.L. Morris and C.B. Jones, An Early Program Proof by Alan
Turing.
1101F84 letter from Mark Richmond, re: candidates for Chair in Intelligent
Knowledge-Based Systems (IKBS)
1101F84 newsletter. Access to Energy.
1101F84 letter from Clive S. Liston, re: AI letter agreement.
1101F84 brochure. Texas Instruments.
1101F84 brochure. The Center for the Study of Language and Information. CSLI
1101F84 letter from J.F. Traub, Columbia University, re: graduating students
as prospective faculty.
1101F84 letter from Peter Chen, Luisiana State University, re: AAAI Presidenet's
Message as a future paper.
1101F84 travel authorization, CMU, re: trip to France Sept. 17, 1984.
1101F84 letter from Midge Decter, Committee for the Free World, re: getting
together.
1115F84 Review of articles from BYTE
1115F84 Article. Steven J. Frank, Tightly couples multiprocessor
system speeds memory-access times.
1115F84 Memo. From John Linvill,
re: Third annual review of the CIS Nov. 14-15, 1984.
1115F84 Memo. From Louise Peterson, re: Viewgraphs for CIS annual reaview
Nov. 14-15, 1984.
1115F84 Paper. Herbert Stoyan, Programming Styles in AI., Institut for
Mathematical Machines and Dataprocessing, University of Erlangen
1115F84 letter. Lynn Scarlett, REASON, re: Weapons and Hope contract.
1115F84 Thesis proposal, Jeff Glaza, Hierarchical analogical knowledge
representation.
1115F84 paper. Jeff Glaza, Description and discussion of a hierarchical
analogical knowledge representation system (HAKR)
1115F84 paper. Jeff Glaza, Philosophy of the hierarchical analogical knowledge
representation system.
1115F84 Award notice. Contract MDA 903-83C-0188, Amend mod.# P0002, SPO#
711/13793-01-00, Sponsor DARPA.
1115F84 proposal, re: Martin.
1115F84 Academic coucil, agenda, Nov. 8, 1984.
1115F84 letter. Dr. Moonis Ali, re: request for Queue-based Multi-processing LISP
1115F84 paper. BDM Corp. re: CIA.
1115F84 letter, from Joel Friedman, Dept. of Phil., UC Davis. re: dinner table
discussion.
1115F84 letter from Robert Kowalski, Dept. of computing, Univ. of London, re:
short history of early days of logic programming.
1115F84 letter from D.C. Melendez, Lawrence Livermore Lab., re: consulting
arrangement.
1115F84 Minutes of the Academic Council, October 11, 1984.
1115F84 letter from Dennis R. Bahler, re: request for Circumscription paper.
1115F84 letter from Stan Rosenschein, SRI, re: invitation to referee papers.
1115F84 memo from Frank E. Armbruster, re: labor, re: chudnovsky
1130F84 letter from Janusz S. Kowalik and call for participation, re: AAAI workshop (in AAAI file)
1219F84 letter from Prof. Leo Ojala, re: request for Model Theory of Knowledge
paper.
1219F84 paper. M.H. van Eden and M.A. Nait Abadallah, Top Down Semantics of
Fair Computation of Logic Programs
1219F84 paper. Robert Kowalski, The Early History Logic Programming
1219F84 S-1 Mark IIB Review, Jeff Broughton
1219F84 letter from Donald Proter, re: participation in Philosophy 326
1219F84 letter from Clara Bush, re: Senate attendance
1219F84 letter from L.A. Belady, re: MCC University Affiliates Program
1219F84 letter (copy) from Pat Byers, re: changes in agreement
121984 letter from Gaston Defferre, re: enclosed photos
1219F84 letter from John A.D. Kelly, re: non-monotonic papers
1219F84 letter from Manfred Kochen, re: Participation in AAAS symposium May 26-31
1219F84 letter from John and Janet Rybak, re: their paper.
1219F84 Senate agenda, Nov. 29, 1984
1219F84 letter from Gordon Bell, re: nondisclosure agreement
1219F84 Semiannual Report, ICASE, Oct. 1, 1983-March 31, 1984, re: partial
differential equations, re: PDE, re: numerical
1219F84 letter from Wu Yungeng, re: visit to Stanford
1219F84 letter from Michael Reinfrank, re: request for Application of
Circumscription
1219F84 paper, Nigel Seel, Computational Cybernetics: A Programme of Research
in AI
1219F84 Stanford Medicine, Fall 1984
1219F84 Publication Contract, REASON
1219F84 paper. John Rybak and Janet Rybak, Venn Diagrams Extended Map Logic
WINTER QUARTER 1985
0115W85 Bulletin of The American Academy of Arts and Sciences, re: Ramo
0115W85 letter from Kochen, re: Advances in Cognitive Science sesssion.
0115W85 letter from Prof. Xiwen Ma, Beijing Institute of Computer re: Cao Zhiqiang
0115W85 letter from Noriyoshi Kuroyanagi, re: thanks
0115W85 letter from Jay M. Tenenbaum, re: AAAI sponsor for National Conference
on Engineering Applications of AI
0115W85 EURALEX bulletin
0115W85 paper. Rohit Parikh, Monotonic and Non-monotonic Logics of Knowledge
0115W85 letter from Prof. B.McA. Sayers, re: Dr. Keith Clark promotion
0115W85 letter from Dr. Anthony E. Trojanowski, BDM Corp. re: check
0115W85 NTIS Abstract Newsletters information.
0115W85 letter from Jan Anderson re attached artiles
0115W85 letter from Haim Gaifman, re: recommendation for Aron Avron
0115W85 letter from S.M. Lipset, re: Reagan and Grenada
0115W85 letter from Gaston Defferre, re: AI colloquium
0115W85 letter from H. Gallaire, re: ECRC, Gallaire
0115W85 Newspaper, Le Provencal
0115W85 pamphlet. LUCID INC. Company Profile
0115W85 paper. B.A. Trakhtenbrot, A Survey of Russian Approaches to Perbor
(Brute-Force Search) Algorithms
0115W85 Call for participation in workshop on coupling symbolic and numerical
computing in expert systems
0115W85 letter from Kathryn Aparicio, California Times re: interview
0115W85 letter from Vladimir Milacic, re: international CAS seminar
0115W85 letter from Lawrence Livermore Lab re: Supplemental Information Sheet
0212W85 letter from Jack Harper, Robot Defense Systems, re: thank you
0212w85 letter from Marc Bergman, IRIAM, re John Kirman
0212W85 article, re: HCN, Elaine Rich
0212W85 letter from Clara Bush, re: noise on campus
0212W85 letter from G. Brewka, re: thesis on nonmonotonic logics
0212W85 letter from Ed Fredkin, re: visitors from USSR
0212W85 letter from Richard Gordon, Silicon Valley Research Group, re:
Conf. on Strategic Computing
0212W85 letter from Steve Tappel, re: reinstatement to Ph.D. program
0212W85 reprts, re: Hoover, Ward Report
0212W85 letter from Glenn Campbell, re: reception
0212W85 letter from Paul C. Martin, re advice on potential nominees
0212W85 memo from George B. Danzig, re: science fiction theme "In Our Image"
0212W85 letter from Ed. Fredkin, re: USSR visitors
0212W85 letter from Christine Gross, re: cataloguing
0212W85 letter and paper from Jean A. Ghandehi, re: "Intelligent Tools and
Human Bondage".
0212W85 proposal. "Expert System Methodologies for Inference and
Explanation Using Temporal and Imprecise Knowledge, PI A.B. Baskin
0212W85 memo from Henry Breitrose, re: high definition television
0212W85 memo from John Hennessy, re: ACIS report
0212W85 BASIS-Bay Area Skeptics Information Sheet
0212W85 letter from Basil Djoanos re: Dungeons and Dragons
0212W85 letter from Michael Reinfrank, re: thanks
0212W85 minutes. Academic Council Nov. 29, 1984
0212W85 letter from Peter, re: enclosed thesis
0212W85 memo from Bart Bernstein and Robert McGinn, re: Winter Quarter VTSS
Forum Meetings.
030785 letter from Richard E. Grady re: nonmonotonic papaer
030785 letter from Don Faust, re: circumscription paper
030785 memo from Don Walker, re: site selection and officer
election for IJCAI-87: results
030785 letter from Juan F. arratia, re: job
030885 letter from Takayasu Ito re Japan Prize
030885 letter re refusenik
030885 list re nonmonotonic conference attendees
030885 paper. re Monadic. Behmann, Heinrich in Gottingen
"Beitrage zur Algebra der Logik, insbesondere zum Entscheidungsproblem".
030885 review by WJ Clancey of J.F. Sowa "Conceptual Structures--Information
processing in mind and machine".
030885 p. 54 of Companion to Concrete Mathematics by Z.A. Melzak. re: Oliver.
030885 Programming Contest Problems
030885 letter from Saad Marrakchi re: post graduate studies
030885 paper. Daniel P. Friedman and Christopher T. Haynes "Constraining
Control", CS Department, Indiana University.
030885 letter from enri de Feraudy, Centre Mondial re: putting common
sense into AI programs
030885 letter from Cliff Jones re: Vienna trip.
030885 paper. Joachim von zur Gathen, Parallel Algorithms for Algebraic
Problems, CS Department, SIAM J. Comput., Vol. 13, No. 4, Nov. 1984.
030885 Report. Perrault, Raymond, C., On the mathematical properties
of Linguistic Theories, CSLI, Stanford, Report No. CSLI-84-18,
December 1984.
030885 Invitation to nominators for the first Inamori prize
030885 minutes. IFIP working group 2.2 meeting at Endicott House
(M.I.T.), June 11-15, 1984
SPRING QUARTER 1985
0517S85 Letter from J.W. Lloyd, re: vacancy in the CS department.
0517S85 letter from IMAC, D. Frau, re: Participation in Engineering in the year
2000.
0517S85 letter from Carolyn Caddes re: biographical profile
0517S85 memo from N.K. Wesselss, re: tenure
0517S85 paper. Metathematical Extensibility for Theorem Verifiers and
Proof-Checkers, Martin Davis and Jacob T. Schwartz
0517S85 letter from Marc Bergman, re: /IRIAM Scientific Advisoers' Board
0517S85 letter from G. Caplain, re:position
0517S85 letter from Sara Baase, re: Reason, dinner, May 17
0517S85 letter from J. Girling, re: competition
0517S85 letter from Janusz S. Kowalik, re: preliminary program of workshop
0517S85 letter from Benjamin W. Daniels, II, re: A theory for the design of
experimental computer program
0517S85 letter from Terrence J. Toohey, re: research monograph in AI.
0517S85 lette from Keith Clark, re: Stanford hiring
0517S85 brochure Area Business Databank
0517S85 brochure Update '85
0517S85 letter (cc) from Phyllis M. Hughes, re: QLISP for Parallel Processors
proposal.
0517S85 paper. Some remarks on the appplications of logic to Computer Science,
Wu Yunzeng, Peking University
0517S85 paper. Some basic assumptions in complexity theory (extended abstract)
Wu Yunzeng, Peking University
0517S85 letter from Simon Ramo, re: comments on JMC comments on paper.
0517S85 letter from J.S. Kowalik, re: AAAI workshop
0517S85 letter from Aaron Sloman, re: room in SU CS for his students.
0517S85 letter from Mary A.R. Carlson, re: noise pollution
0517S85 letter from Darlene Myers Hildebrandt, re: QLAMBDA
0517S85 letter from Cuthbert Hurd, re: nondisclosure agreement
0517S85 letter from R.M. Payne, re: crank
0517S85 paper. From contours to waterfalls: converging constraints in
early vision, Steven W. Zucker, McGill University
0517S85 letter from Pierre Veltz, re: Caplain
0517S85 letter from Yorick Wilks, re: memoranda in cognitive studies
0517S85 letter from Walter R. Mears, re: letter to Mr. Fuller
0517S85 letter from Lyle Wiedeman, re: Time sharing systems.
0517S85 letter from Arel Lucas, re: bookstore of the future
0517S85 paper. A model and an implementation of a logic programming
environment, Henryk Jan Komorowski and Shigeko Omori, Harvard
University.
0517S85 letter from John Mattox, re: speech
0517S85 letter from Joe Halpern, re: call for papers.
0517S85 letter from Dan Campbell, re: circumscription.
0517S85 list of names from Nilsson's files
0517S85 letter from Lynn Scarlett, re: review of Not in Our Genes
0517S85 letter from Clara Bush, re: election returns
0517S85 memo and material from Clara Bush, re: Academic Senate
0517S85 letter from Eugene Dong, re: case of academic misconduct.
0517S85 review of Not in Our Genes, Leontin; review by Bernard D. Davis
0517S85 letter from Derek Partridge, re: CRL New Mexico State University.
0517S85 letter from Derek Partridge, re: CRL New Mexico State University.
0517S85 letter from Charles R. DeCarlo, re: proposal to IBM for joint
venture
0517S85 paper. The situation in logic-II: Conditionals and conditional
information, John Barwise, CSLI (marked copy)
0517S85 paper. Further report on the design of 'Tuili', Lu Ruqian (re:
logic programming expert systems, china)
0517S85 paper. On the preliminary design of Tuili, Lu Ruqian
0517S85 article in Cultura y nacion, Los robots estan entre nosotros
0517S85 brochure. The New York Academy of Sciences
0517S85 letter from Barbara Sargent, re: seeking a Chair for CS UC Davis.
0517S85 proceedings of international conference on fifth generation computer
system 1984, Tokyo, Japan, Nov. 6-9, 1984
0517S85 letter from Ryoji Yanagi, re: position at SU.
0517S85 letter from H.W. Lentra Jr., re: Schroeppel.
0517S85 paper. Intelligent tools: The cornersotne of a new civilization,
Hassan M. Ghandchi.
0517S85 paper. Problems of transition, Dennis Chamot (re: AFL-CIO)
(re: labor)
0517S85 letter from Garo K. Kiremidjian, re: statement of intent
0517S85 letter from John T. Pinkston, re: MCC workshop, 4/22/85
0517S85 paper. Towards a theory of knowledge and ignorance, Joseph
Halpern
0517S85 excerpts of ch. 14 criminal law, re: duels
0517S85 paper. We have been framed, Drew McDermott
0517S85 program. European SIGSAM meeting 1985
0517S85 reprint. Stanford Statistics, Vol. 2
0517S85 CS at Stanford, 1982-1984, prepared by Holly Ullman
0517S85 Stanford University operating budget guidelines 1985-86
0517S85 draft. First draft of preliminary propoal, chudno[f84,jmc]
0517S85 brochure. Harvard CS graduate program.
0517S85 paper. Nonmonotonic reasoning, Michael Genesereth and Nils Nilsson
0517S85 letter from William David Miller, re: request for material
0517S85 letter from Zenon W. Pylyshyn, re: contribution to his book
0517S85 letter from David Sanders, re: recommendation for book on AI.
0517S85 letter from Riccardo Viale, re: Turin conference
0517S85 letter from Pierre Bonzon, re: position
0517S85 list. Berkeley cognitive science reports.
0517S85 letter from Daniel G. Bobrow, re: questionnaire
0517S85 letter from Helman I. Stern, re: position
0517S85 paper (deraft). An Internal Semantics for Modal Logic, Ronald
Fagin and Moshe Y. Vardi
0517S85 Nuclear Energy Statement by California Engineers and Scientists
0517S85 brochure. Quintus
0517S85 paper. An skeleton for expert systems: mexexp 1.0, Vladimir Marik,
Zdenek Zdrahal, and Alfredo Raymundo Mendez :re: Guzman)
0517S85 letter from John Perry, Tom Wasow and Betsy Macken re CSLI proposals
0517S85 memo from Betty Scott, re NSF experiment in On-Line Proposal
Submission this summer
0517S85 memo from Harry Llull, Math Library re participation in a long term
collection development project
0517S85 memo from W.K.H. Panofsky re Hoover
0517S85 letter from Rober Kowalski re hiring for SU CSD
0517S85 draft of JMC biography by Carolyn Caddes
0517S85 proposal review, Robert S. Boyer, Mechanical proving in geometries
0517S85 letter from Moo-Nam Lee, re invitation to Korea
0517S85 letter from Armando Verdiglione re invitation
0517S85 report. Strategic Computing First Annual Report, Feb. 85
0517S85 letter from Halbrecht Associates re openings
0517S85 letter from Leroy M. Bell, III, re attached list of reference documents
0517S85 minutes of the Senate, May 16, 1985
SUMMER QUARTER 1985
0619E85 letter and paper. Lin Fangzhen, A truth value
semantics for nonmonotonic logic
0619E85 letter from Keith Clark re referee for promotion.
0619E85 letter to Brown Alumni Monthly with Elain Rich
0619E85 paper. Moshe Vardi Querying Logical Databases
0619E85 memo from Frank Riddle re University Salary Base
0619E85 curiculum vitae Keith Leonard Clark
0619E85 letter from Ilenan Streinu re Godel like independent sentences
0619E85 call for paper 10th world computer congress
0619E85 paper. Brian Cantwell Smith, Reflection and semantics in LISP
0619E85 letter from Paula J Hammet re common sense
0619E85 paper. Steve Tappel, Some algorithm design methods
0619E85 letter from Richard Uhtenwoldt re attached short notes about theorem
prover
0619E85 memo from Woody Bledsoe re Minutes of committee
0619E85 paper. Fred Landman, Data semantics for attitude reports
0619E85 letter from Prof. B. Trachtenbrot re Mr. Avron.
0619E85 letter from Arnon Avron re attached CV
0619E85 paper and letter. Veronica Dahl, Natural language understanding and logic
programming
0619E85 letter from Helman I. Stern re attached CV
0619E85 letter from N. Chomsky re article in Reason
0619E85 memo from Marianne Sobey, SPO, re NSF final project report
0619E85 booknews from Computer Science
0619E85 brochure re Passau
0619E85 letter from F.J Radermacher re conference in Passau
0619E85 letter from J. Girling re application for competition
0619E85 paper and letter, Lin Fangzhen, A truth value semantics for modal logic
0619E85 letter from Charles Upshaw re sponsored research
0619E85 letter from Petr re Paul Lysenko Ehrlich
0619E85 letter from Riccardo Viale re conference
0619E85 letter from Riccardo Viale re conference
0619E85 letter from E.G.K. Lopez-Escobar re contribution to proceedings
0619E85 memo from Robert S. Englemore, re promotion to senior research associate,
Penny Nii
0619E85 memo from Robert S. Englemore, re promotion to senior research associate,
Peter Fiedland
0619E85 letter from Yuan YunKai re invitation to lecture
0619E85 Socrates Newsletter
0619E85 letter from Ken Kennedy, Rice Univ., re Don Doyle
0619E85 letter from John F. Manely and Ronald A. Rebholz, re Hoover.
0619E85 letter from Lynn Scarlett re Not in Our Genes
0619E85 lettter from Peter Stansky re Senate meeting
0621E85 copy of letter to Serge Lang
0621E85 course description. VTSS 101
0621E85 file called NEWPER[1,GLB] for Gialuigi Bellin
0621E85 letter from K.M. Chandy re enclosed paper with Jay Misra, How
processes learn
0621E85 proposal evaluation, James F. Allen, Temporal world models for problem
solving
0621E85 proposal evaluation, A.B. Baskin, Expert system methodologies for
inference and explanation using temporal and imprecise knowledge
0621E85 letter from Philip Dejean, re crank
0621E85 article by N.David Mermin, Is the moon there when nobody looks? Reality
and the quantum theory
0621E85 report. Annual research report 1984, The department of computer science
and information science, Linkoping University
0715E85 paper. Ronald Fagin and Joseph Y. Halpern, Belief, Awareness, and
limited reasoning: preliminary report, IBM.
0715E85 paper. Joseph Y. Halpern and Ronald Fagin, A formal model of knowledge,
action and communication in distributed systems: preliminary report.
0715E85 paper. Robert Kowalski and Marek Sergot, A logic-base calculus of events,
Dept. of Computing, Imperial College, London.
0715E85 letter from Dr. Garo K. Kiremidjian, re Delfin Systems proposal to CIA.
0715E85 letter from Alan K. Mackworth, re IJCAI award.
0725E85 letter from Manfred Kochen, re AAAS symposium publication.
0725E85 paper. Uwe Hein, A programming language for knowledge engineering applica-
tions.
0725E85 paper. Allen Newell, How to view the computer, CMU.
0725E85 paper. David W. Etherington, Robert E. Mercer and Raymond Reiter, On the
adequacy of predicate circumscription for closed-world reasoning, Dept.
of CS, University of British Columbia.
0725E85 paper. John Case and Carl Smith, Comparison of identification criteria
for machine inductive inference, Theoretical Computer Science 25(1983)
193-220. North-Holland Pub.
0725E85 paper. M.H.Van Emden and J.W. Llloyd, A logical reconstruction of
Prolog II.
0725E85 article. N. David Mermin, Is the moon there when nobody looks? Reality
and the quantum theory.
0725E85 letter from Henning B. Andersen, re request for paper.
0725E85 letter from Yashio Takano, re shiba park, Tokyo interview.
0725E85 letter from Yuri Yarim-Agaev, re invitation to advisory board of Center
for Democracy.
0725E85 letter from Gilbert Harman, re invitation to talk.
0725E85 letter from John, CMU CS Dept. re letter of recommendation.
0731E85 letter from Solomon Feferman, re Julia Robinson`s death.
0731E85 paper. Chuck Williams,Inference, Automated Reasoning
0731E85 paper. D. J. Newman, A simplified version of the fast algorithms of Brent
and Salamin, re: e and pi, π.
0731E85 paper. R.Wm. Gosper, Exploiting regularities in large cellular spaces,
North-Holland.
0731E85 paper. G. Polya, SU, On picture-writing
0731E85 paper. George Bealer, Theories of properties, relations, and propositions,
Reed College.
0821E85 letter. Prof. Hayward R. Alker Jr. request for paper.
0821E85 letter and brochure from Dr. Guy Rabbat re talk Automation `86.
0821E85 letter from Dr. John Self, re AAAI workshop.
0821E85 letter from Lynn Scarlett, re Not in our Genes.
0821E85 letter from Prof. Mack Adams, re visitor status)
0821E85 paper. A.H. Stone, Trees and Power-Sums, Dept. of Mathematics,
University of Rochester.
0821E85 User`s Guide Socrates.
0821E85 Technical Report, J.W. Lloyd and R.W. Topor, A basis for deductive
database systems, Dept. of CS, The University of Melbourne
0821E8 paper. David A. Coz, Gauss and the arithmetic-geometric mean.
0821E85 paper. Jack Minker and Donald Perlis, Computing Protected Circumscription,
University of Maryland.
0821E85 Report. Report of the Senate Committee on the Relation Between the Hoover
Institution and the Stanford Professoriate
0821E85 paper. Patick Gunkel, The 320 major concerns of ideonomy`s 200 divisions.
0821E85 notes. Kenneth R. Blochowiak, re questions about process of discovery.
0821E85 paper. Henson Graves, Lee Blaine and Ruth Manor,
Logic of Contexts, Dept. of Math. and CS,
San Jose State Univ.
0821E85 letter from J.W. Lloyd re visit to Stanford.
0821E85 paper. Yoav Shoham, A first order interval logic, Yale University.
0821E85 paper. Yoav Shoham and Thomas Dean, Temporal notation and causal terminology,
Dept. of Computer Science, Yale University
0821E85 paper. Yoav Shoham, A propositional modal interval logic, Dept. of
Computer Science, Yale University
0821E85 paper. Lawrence J. Henschen, William W. McCune, and Shamin A. Naqvi,
Compiling constraint-checking programs from first-order formulas,
Northwestern University, Evanston, Illinois.
0821E85 paper. Ann v.d.L. Gardner, Law applications.
0821E85 paper. Jack Minker and Donald Perlis, Circumscription: Finitary completeness
results, CS Dept., Univ. of Maryland.
0821E85 letter (copy) from Richard D. Jenks, IBM, re sponsorship for AAAI.
0821E85 brochure. re Japanese literature.
0821E85 brochure. alphabetical list of databases.
0821E85 letter from Ehud Shapiro, Weizmann, re joining SU faculty.
0821E85 paper. Devika Subramanian and Prof. Bruce Buchanan, Syllabus for the
qualifying examination.
0821E85 paper. Jerry Hobbs, Proper names.
0821E85 letter from Robin Dale Hanson, re help.
0821E85 paper. Dana Angluin and Carl H. Smith, Inductive inference: theory and
methods.
0822E85 paper. Terry Winograd, Moving the semantic fulcrum, CSLI Dec. 1984.
0822E85 paper. Peter C. Cheeseman, In defense of probability, SRI, May 1985.
0822E85 letter from Guy Rabbat, invitation keynote speaker.
0822E85 letter from Phillip Ein-dor, re enclosed paper.
0822E85 letter from James Jacobs, re invention.
0822E85 paper. Fumio Mizoguchi, Hayato Ohwada and Yoshinori Katayama,
Looks: Knowledge representation system for designing expert systems
in a logic programming framework.
0822E85 paper. Masaru Kitsuregawa, Hidehiko Tanaka and Tohru Mto-oka,
Architecture and performance of relational algebra machine grace.
0822E85 xeroxed copies re: LISP magazine
0822E85 paper. Masahiko Sato and Takafumi Sakurai,
QUTE: A functional language based on unification.
0822E85 paper. Daniel . Bobrow and Patrick J. Hayes, Artificial Intelligence--
where are we?
0822E85 letter from Cyrus F. Nourani re: enclosed abastract of Equational intensity
initial models, and AI reasoning: An overview.
0822E85 letter from Jon Barwise, re: JSL.
0822E85 letter from J.F. Perrot, re: honorary degree.
0822E85 letter from Daniel P. Friedman, re: enclosed vita.
0822E85 paper. K. Eric Drexler, Molecular machinery and molecular electronic
devices.
0822E85 paper. K. Eric Drexler, Molecular engineering: an approach to the
development of general capabilities for molecular manipulation.
0822E85 SU Senate of academic council, re: hoover.
0822E85 statement. MIT press royalty statement 3/29/85.
0822E85 publication. Knowledge Systems Laboratory, SU Dept. of CS, Dept. of
Medicine.
0822E85 letter from Michael, France, re: bank found your money.
0822E85 letter from Richard, the university of south Florida, re: letter of
reference.
0822E85 letter from Norman Wessells and Gordon Bower,
re: congratulation on IJCAI award.
0822E85 vita. Jean Claude Latombe, re: robotics search.
0822E85 publication. Abstracts of CSLI reports, CSLI, May 1985.
0822E85 newsletter from PERSOFT.
0822E85 paper. Mitsuru Ishizuka, Specific goals for the next five years and the
ten years for knowledge systems.
0822E85 letter from Hilbert Levitz, re: Wolfgang Bibel.
0822E85 Second Riken Symposium on Josephson Electronics, re: Goto.
0822E85 Technical memorandum of ICOT, H. Kitakami et al., Demonstration
of the KAISER system at the ICOT open house in FGCS 84.
0822E85 letter from Solomon Feferman, re Julia Robinson`s death.
0822E85 newsletter from THE WELL.
0822E85 publication, Mary Shelton (McArthur) English, The origin of clan
McArthur.
0822E85 papers. Rota papers lend by Chudnovsky.
0822E85 paper. Tadashi Kanamori and Kenji Horiuchi, Type Inference in Prolog
and its applications, ICOT,December 1984.
0822E85 paper. Tadashi Kanamori and Hiroshi Fujita, Formulation of induction
formulas in verification of Prolog programs, ICOT, December 1984.
0822E85 paper. Tadashi Kanamori and Hirohisa Seki, Verification of Prolog programs
using an extension of execution, ICOT, December 1984.
0825E85 letter from Michael Tobias, re: KQED interview
0826E85 letter from Yoav Shoham, re: enclosed papers.
0826E85 letter from Prof. David Probst, re: presidential address
0826E85 letter from Prof. Gilbert Harman, re: December 2nd visit to Princeton.
0826E85 letter from Bernd Schauer, re: Sender Freies Berlin.
0826E85 letter from Nils Nilsson and Betty Scott re Carolyn Talcott's appointment.
0826E85 letter from Prof. Ephraim Nissan, re: editorial board.
0826E85 letter from Prof. W. Marek, re: common sense.
FALL QUARTER 1985
0905F85 letter from Ephraim Nissan, re:ESRA journal,and call for papers
0906F85 letter from John Self, re: ICAI workshop
0909F85 memo from Luca Cavalli-Sforza, re: genetics references
0913F85 letter from W. Richard Stark, re: photos for Garden of LISP
0913F85 letter from Yuri Gurevich, re:colloquium at University of Michigan
0917F85 letter from Sara Baase, re: Reason Foundation, dinner invitation
0917F85 letter from Gilbert Harman, re: Princeton Talk, Soc. Sec. #
0918F85 letter from Jim Rosse, re: congratulations on award
0930F85 copy of letter from Carolyn Tajnai to Chuck Williams, re:computer forum
1101F85 letter from Jim Brodie, re: advise.
1101F85 letter from T.E. Cheatham, re: enclosed ballot
1101F85 letter from Prof. Hans-J. Schreider, re: Bibel
1101F85 letter from Denise Bedrod, re: enclosed questionnaire
1101F85 Report. The Rand-ABEL Programming Language
1101F85 letter from Stephen R. Graubard, DAEDALUS, re: cassicist and AI
1101F85 letter from Roger L. Wainwrigt, re invitation to be distinguished lecturer
1101F85 letter from Dr. George L. Proctor, re: undergraduate courses in information
and knowledge
1101F85 proposal. S.G. Shanker
1101F85 letter (copy) from Dr. Janusz S. Kowalik, re: AAAI re: numerical
1101F85 letter from Makoto Nagro, re: meeting 10/26/85
1111F85 CV Stanley J. Rosenschein
1111F85 letter from Phyllis O'Neil, re: enclosed IJCAI tape
1111F85 letter from Dr. George L. Proctor, re: undergraduate courses in information
1111F85 IJCAI 1985 transcribed speech
1111F85 The Stanford Connections, Sept. 1985
1111F85 catalog. INSPEC.
1111F85 letter from Christopher Goad, re: robotics faculty position
1111F85 LISP Machine Inc.
1111F85 Newsletter. Scratchpad II. IBM Research Vol.1, no. 1
1111F85 Program Offering. IBM.
1113F85 letter from Michael Reinfrank, re: enclosed survey paper on non-monotonic
reasoning.
1113F85 newspaper clipping, The Tribe, re: Star Wars
1113F85 letter from Carolyn Caddes, re: photos
1113F85 letter from Daniel Bobrow, re: acceptance of manuscript.
1113F85 paper. Timothy McCarthy, Abstraction and Definition in
Semantically Closed Structures.
1113F85 letter from Morgan Kaufmann Publisher, re: submitting papers for the
Proceedings
1113F85 letter from Derek Partridge, re: workshop on the Foundation of AI 2/86.
1113F85 letter from Stephen R. Graubard, DAEdalus, re: AI issue
1113F85 brochure. The Reason Foundation.
1113F85 letter from Yuri Gurevich, re: visit Dec. 3, 1985.
1113F85 Robot Experimenter, Vol.1, no.1, re: LISP for IBM PC
1113F85 price list. Dialog.
1113F85 Chronolog Ad Supplement
1113F85 paper. Axioms for Russell's Theory of Identity of Propositions.
1113F85 brochure. Multiprozessor-Labor, Multiprozessorsystem DIRMU 25.
(DIstributed Reconfigurable MUltiprocessor kit)
1113F85 agreement. MCC Individual Non-Disclosure Agreement
1113F85 publication. Data Express, re: modems
1113F85 ad. Interviewing on campus; electronics engineering opportunities
in the SF Bay Area
1113F85 letter from Herbert Halbrecht, re: Amos Oz
1113F85 letter from Harry Huskey, re: pioneer award.
1113F85 Student Projects for UCSD Pascal System
1113F85 newspaper clipping, re: interview in O Jornal Informaticawith JMC.
1113F85 letter from Wolfgang Bibel, re: enclosed reasoning paper.
1113F85 proceedings of coupling symbolics ad numerical computing in expert
systems, sponsored by AAAI, August 27 - 29, 1985
1113F85 guide. A Scholarly Visitor's Guide to Los Angeles.
1113F85 letter from Tohru Saino, re: enclosed newsletter.
1113F85 pocket guide to DIALOG Version 2, Sep. 1985
1113F85 brochure. PRIZ, re: Tyuugu, Tyugu
1113F85 brochure. Academy of Sciences of the Estonian SSR, re: Tyugu Tyuugu.
1113F85 letter from Arlene Douglass, re: membership in AAAI (card included)
1113F85 letter from Susan Sanford, re: voice of america interview
1113F85 letter from Daniel Bobrow, re: acceptance of Applications of
Circumscription to Formalizing Common Sense Knowledge.
1113F85 letter from AAAI, re: registration for IJCAI 85.
1119F85 letter from Lin Fangzhen, re: attached abstracts.
1119F85 paper. Richard Jeffrey, Judgmental probability and objective
chance (workshop on practical reasoning and planning participants
1211F85 copy of letter to Gibbons from Nilsson re: SDI panel discussion
1211F85 copy of letter to Kennedy from Nilsson re: SDI panel discussion
1211F85 memo from Nilsson re: long-range planning
1211F85 copy of letter to Nilsson from Jay Tanenbaum, re: appointment as
consulting prof.
1211F85 copy of letter to Nilsson from Patrick Hayes, re: appointment as
consulting prof.
1211F85 letter form Jean-Louis Lassez, re: give a talk in the department
and CV
1211F85 letter from John Plummer, re: publicity
1211F85 notice from NSF, re: NSF
1211F85 letter from David Hamilton, re: draft of readership survey
1211F85 Business Week, re: Ershov.
1211F85 Staford Daily, re: Gorbachev invitation
1211F85 paper. Vladimir Lifschitz, Circumscription in the blocks world
1211F85 memo from Betty Scott, re: new patent agreement
1211F85 letter from Fenaughty, re: summary list of anti-takeover actions
1211F85 memo from Nilsson, re: Ehud Shapiro
1211F85 brochure. DIALMAIL, Oct. 1985
1211F85 technical memo DIALOG
1211F85 letter from Yoav Shoshan, re: enclosed paper (draft)
1211F85 memo from Nilsson to Gibbons, re: CSD future plans
1211F85 paper. Fred Dretske\Machines and the mental\University of Wisconsin\
Madison. In APA Proceedings\1985
WINTER QUARTER 1986
0102W86 paper. Ma Xiwen and Guo Wide
0102W86 paper. Ma Xiwen and Guo Wide, W-JS:A modal logic of knowledge,
Computer Science Institute, Peking University, Beijing
0102W86 paper. W. Bibel, On first-order reasoning about knowledge and belief.
February 1984.
0102W86 mailing list, re: Daedalus special issue on AI.
0102W86 letter from F.J. Radermacher, re: conference April 1986, Passau University
0102W86 paper. Harry Mairson, Structure and interpretation of computer
programs
0102W86 letter from Carolyn Caddes, re: book
0102W86 paper and letter, Jan Mycielski, Toward a mathematical theory of memory
0102W86 paper. Jan Mycielski, Can mathematics explain natural intelligence
0102W86 brochure. The Reason foundation, Sixth annual report 1984.
0102W86 paper and letter, Lin Fangzhen, Knowledge and probability: Preliminary
report, 12/20/85
0102W86 report. NASA-ASEE 1983 summer faculty program, Autonomy and the
human element in space
0102W86 letter from V. Guruprasad, re: enclosed Woods
0102W86 letter from Lynn Scarlett, re: attached edited review
0102W86 paper. Sergio Ruiz-Mier and Joseph Talavage, Toward a knowledge-based
network simulation environment, re: applicant
0102W86 newspaper clipping, San Jose Mercury News, Oct. 30, 1985, Los Altos
broker goes on ofensive against too many meddlesome lawyers, by
Bernard Bauer
0102W86 letter from Gosper to Schroppel, re: combinatories
0102W86 resume. Wing-Kwong Caesar Wong
0102W86 paper. Richard Weyrauch, FOL: A mechanizable formulation of logic
0102W86 memo, from Betty Scott, re: research offset 1984/85
0102W86 letter from Maria Klawe, re: a reminder
0102W86 final exam, CS306, Fall 1985
0102W86 letter from Harry D. Huskey, re: Pioneer nominees
0102W86 letter from John H. Boose, re: AAAI workshop
0102W86 brochure, Iwanami Shoten Publishers, Tokyo
0102W86 letter from Claudia Mazzetti, re: Space Station Symposium
0102W86 letter from Derek Partridge, re: abstracts
0102W86 memo, re: Amarel biography
0102W86 brochure, re: schedule, Fachtagung uber Kunstliche Intelligenz
0102W86 letter from Jouko Seppanen, re: LISP textbook in Finnish
0102W86 letter from Stephen R. Graubard, re: AI Daedalus issue
0102W86 proposal. Common LISP Development, to DARPA
0102W86 letter from D.C.Melendez, re: consulting for Lawrence Livermore Lab
0102W86 memo from Shigki Goto, re: Some anomalies in negation as failure,
June 1983
0102W86 letter from Ehud Shapiro, re: invitation to speak
0102W86 letter from John A. Campbell, re: plan for book
0102W86 Consultant agreement, Livermore
0102W86 letter from Peter L. Mott, re: enclosed paper
0109W86 letter and proposal from Su-shing Chen, re: AAAI workshop (in AAAI file)
0205W86 letter from Derek Partridge and infomation re Foundation of AI workshop
0205W86 paper. Manna and Waldinger, Unsolved Problems in the Blocks World
0205W86 letter from A. S. Kolaskar, re: contribution to a book.
0205W86 letter from Andrei P. Ershov, re: christmas letter
0205W86 paper. W. Bibel, Automated Inferencing, in J. Symbolic Computation,
1985 1, 245-260
0205W86 paper. Donald Perlis, On the Consistency of Commonsense Reasoning,
University of Maryland
0205W86 letter from Jennifer Ballemtine, Morgan Kaufmann Publishers, re:
copyright transfer
0205W86 paper. Michael Beeson, On the Concepts of Set, Class, and Data Type
0205W86 letter from Harold Schutt and Alan J. Rowe, re: Forum on AI in
Management
0205W86 letter from Hiroshi Nakagawa, re: visit at SU February 1986
0205W86 letter from Rolf Herken re: contribution of am essay
0205W86 memo from Bernard A. Galler, re: The Summary of the Seminar Transcript
0206W86 paper. Christian M. Hamann, Chronologie der Programmierung des
japanishcen Brettspiels GO - Eine Herausforderung an die Kunstliche
Intelligenz
0206W86 Carolyn Merchant, The Death of Nature--Women, Ecology, and the Scientific
Revolution, chapter 9, Mechanism as Power
0206W86 letter from Lynn Scarlett, re: Not in Our Genes
0206W86 memo from Mary Lou Allen, re: Incentive payment for TVI and local
NCO students, Autumn 1985-86
0206W86 letter from Peter A. Knudsen, re: search for senior level technology
executive
0206W86 publication contract, REASON
0226W86 letter from NSF approval of 2nd year grant "Basic Research in AI".
0226W86 letter from Asis K. Goswami, re: reprint
0226W86 letter from Hiroshi Nakagawa, re: meeting Feb. 26
0226W86 letter and CV from Y.J. Jiang, re: postdoctoral fellowship
0226W86 paper. Edited by Hiroshi G. Okuno, re: lisp measurement.
0226W86 letter from Moris Pripstein, re: Shcharansky.
0226W86 letter from Dennis Paulson, re: book about nuclear threat
0226W86 newletter, IBM research, Jan. 15, 1986
0226W86 letter from Mrs. Lois E. Fariello, re: Computer in Mathematics Conference
0226W86 letter from Per Rostedt, re: AI research
0226W86 telex from Jan-Ove Palmberg, Linkoeping University, re: degree of doctor
honorois causa.
0226W86 letter from H. Raymond Strong, re: application for Stanford Industrial
Lectureship
0226W86 letter from Luigia Carlucci Aiello, re: workshop on Foundation of Logic
and Functional Programming
0226W86 letter from Steven W. Mosher, re: wrong done by Anthropology Department
at SU.
0226W86 letter from Gwen Bell and Oliver Strimpel, re: smart machines, an exhibit
on AI
0226W86 letter from Gerard Salton, re: candidate for the Nominating Committee
of Section t, AAAS.
0226W86 letter from Wing-Kwong C. Wong application for Ph.D. program
0226W86 memo from Nils Nilsson, re: ONR/DARPA programs
0226W86 memo from Claudia C. Mazzetti, re: Erlbaum's Copublishing offer
0226W86 minutes of IFIP Working Group 2.2, University of Passau, May 1985
0226W86 announcement. Inference Corp. re: expert system tool on IBM RT PC
0226W86 memo from Charles Petrie, re: Emycin default reasoning: CF propagation
0226W86 article by Carl Hewitt, The Challenge of Open System, BYTE, April 1985
0310W86 letter from Robert Smith, re: Industrial Lectureship
0310W86 paper. Staudenmaier, George Orwell, 1984, Technology and Faith
0310W86 note from Bob wolf, re:S&P Problem
0310W86 letter from J.M. Varah, re: David Etherington
0310W86 letter from Jacek Leszczytowski, re: two dimensional language for predicate
calculus
0310W86 course description. John M. Staudenmaier, Masculine - Feminine Imbalances
0310W86 newspaper clipping. Attack on Hoover shows intolerance, Stanford Daily
March 4, 1986
0310W86 letter from Aryeh Dvvretzky, re: evaluating level of research at the
Weizmann Institute
0310W86 letter from Phillip A. Griffiths, re: Biermann panel.
0310W86 letter from Peter Moses, re: standards for programming languages
0310W86 letter from John Hopcroft, re: report on scietific achievements of CS
0310W86 letter and paper (Absolute Error) from Sue Walker Toledo, re:
job at CSD Stanford
0310W86 notes. Hiroshi Nakagawa, Prolog Program Transformation
0310W86 proposal by Cynthia A. Brown to NSF, Application of Group Theory
to Symmetry in Backtrack Trees
0310W86 copy of telex to Linkoeping, re: degree
0310W86 letter from Henry Lowood, re: letter from Arthur L. Norberg re history
of CS
0310W86 Review of the Ph.D. program CSD Stanford
0310W86 letter from Philip C. Jackson, Jr., re: joining Inference
0310W86 letter from Andre Isabelle, re: R. Reiter
0310W86 paper. Raymond Reiter and Giovanni Criscuolo, Some Representational
Issues in Default Reasoning.
0310W86 letter from J. Bear, re: The Harvey Prize for Science and Technology
0310W86 Annotated slides from R. Wm, Gosper's Computer Algebra talk at NYU, 4/84
0310W86 Publication announcement, Rutgers University
0310W86 brochure. Stanford Video Journal
0310W86 memo from Patricia L. McCabe, re: Office of Naval Research Announcement
0310W86 letter and paper (The Deque problem of Knuth) from Lenard Weinstein,
re: position in computer science
0310W86 paper. Teodor C. Przymusinski, Minimal model resolution and query
answering
0310W86 brochure. The Turing Institute
0310W86 letter and paper from B. Baars, Conscious Contents Provide the Nervous
System with Coherent, Global Information
0310W86 letter from Greg Nelson, re: Industrial lecturer.
0310W86 letter from Su-shing Chen, re: support of a workshop on computer vision
0310W86 letter from Stanley J. Rosenschein, re: position
0310W86 letter from Gottfried Ressl, re: crank
0310W86 publication announcement, Carnegie-Mellon University
0310W86 brochure. University of Rochester, Research Review 1985-86
0325W86 letter and proposal from Tom Dietterich, re: AAAI workshop (in AAAI file)
SPRING QUARTER 1986
0401S86 newpaper clipping, Electronic teen-age hacker gang seeks power and
status, San Jose Mercury, March 30, 1986
0401S86 letter from Kaye Pace, McGraw Hill, re: Lisp Programming and Proving.
0401S86 letter from Lowell, Lawrence Livermore Lab re Zabih Ramin David.
0401S86 letter from David Levy, re: David Tebbutt
0401S86 IFIP information bulletin, Dec. 1985
0401S86 Tentative summer conference schedule 1986
0401S86 letter from Robert J. Nikora, re: grant proposal.
0401S86 letter from Aileen M. Orthner, re: David Etherington.
0401S86 postcard from Audrei Ershov
0401S86 article, Human Rights in the New China, Steven W. Mosher.
0401S86 letter from Donald T. Regan, re: Dixie Lee Ray.
0401S86 letter from John T. Ritschdorff, re: quotation.
0401S86 articles re: Steven Mosher.
0401S86 letter from Yue-Jun Jiang, re: aplication for post-doctoral.
0401S86 letter from James R. Pompa, re: Multimax system.
0401S86 paper. Communication and plan recognition, Phil Cohen, Ray Perrault,
Martha Pollack and Stuart Shieber.
0401S86 Research Report. A guide to the modal logics of knowledge and belief:
Preliminary draft, Joseph Y. Halpern.
0401S86 List of technical reports, CSD, New York University.
0401S86 letter from Esther Ferington, re: Computer Languages book, Time-Life.
0401S86 letter from Robert Kowalski, re: Jiang.
0401S86 letter (copy) from Gio Wiederhold, re: Griffiths.
0401S86 letter Noriyoshi Kuroyanagi, re; leaving NTT
0401S86 letter from Mario Boselli, re: Fiera Milano.
0401S86 letter from Andrew Davison, re: help in research.
0401S86 letter from Roger L. Wainwright, re: talk at the University of Tulsa.
0401S86 letter from Bernard Meltzer, re: participation in Work Revisited.
0401S86 letter from Zenon W. Pylyshyn, re: David Etherington.
0401S86 letter from Lee Chapman, re: Colloquium at Fermilab.
0401S86 letter from William S. Griffiths, re: degree in CS.
0401S86 letter from Erich J. Neuhold, re: invitation to a meeting.
0401S86 letter from Garo K. Kiremidjian, re: meeting in Washington.
0401S86 newpaper clipping, Gushers of oil, The Christian Science Monitor,
2/12/86, re: SE2.
0401S86 paper. What is conscious in the control of action? A modern ideomotor
theory of voluntary control, Bernard J. Baars.
0414S86 letter from Su-shing Chen, re: AAAI workshop (in AAAI file)
0414S86 letter from Jan-Ove Palmberg, re honorary degree from Linkoping
0414S86 letter from Chang Li, re attached article, LISPTALK--The concurrent
Lisp Language.
0414S86 Excerpts from preliminary position statements, chariman A.P. Ershov
0414S86 paper. Ronald Fagin, Joseph Y. Halpern and Moshe Y. Vardi, A model-
Theoretic Analysis of Knowledge: Extended Abstract.
0414S86 paper. Joseph Y. Halpern, Knowledge and Common Knowledge in a Distributed
Environment.
0414S86 letter from M. Miranda, re: Foundation of logic and functional programming
0414S86 Advisory panel on expert systems, re: Delfin, CIA
0414S86 Notes on a formalism for statements about knowledge, Chris Goad.
0414S86 list for fellowship letter.
0414S86 list Knowlege Conference.
0414S86 United mileage plus statement
0414S86 Delfin Agreement for consultant's services, re: Kiremidjian.
0414S86 paper. Makoto Nagao, Jun-ichi Tsujii, and Jun-ichi Nakamura, The
Japanese Government Project for Machine Translation, re: Monica Strauss.
0414S86 paper. N. Shankar, The script for the mechanical proof of the Godel
Incompleteness Theorem.
0417S86 letter from Mark C. Maletz, re: AAAI workshop (in AAAI file)
0429S86 newspaper clipping, The Wall Street Journal, 1/10/86, re: Soviet Oil Woes:
Detente on US terms?
0429S86 letter from Sue Toledo, re: Toledo
0429S86 letter from Yuri Yarim-Agaev, re: advisor for the center for democracy.
0429S86 letter and papers from Takayasu Ito, re: Theoretical comparisons of
interpreted/compiled executions of Lisp on sequential and parallel
machine models.
0429S86 letter from Claus G. Firchow, re: Hannover Fair.
0429S86 letter from Raymond Turner, re: Y.J. Jiang
0429S86 letter from N. Shankar, re: enclosed paper The System of Leibniz's Logic
0429S86 letter from John Hopcroft, re: enclosed preliminary draft on Report on
the Scientific Contribution of Computer Science
0429S86 letter from Bernard Meltzer, re: Fiera di Milano
0429S86 Technical report abstract list, The University of Rochester, CS Dept.
0429S86 letter from David Warren, re: Y.J. Jiang
0429S86 paper. Gio Wiederhold, Expert Systems and Knowledge Representation
0429S86 copy of a letter to Nils from Jean-Claude Latombe, re: enclosed resume
0429S86 list of Technical Reports, Computer and Information Science, University
of Pennsylvania, Philadelphia
0429S86 copy of a letter from Frederick W. Mote to Donald Kennedy, re: Steven
Mosher
0429S86 letter from Hisao Miyauchi, re: writing for Iwanami Shoten, Publishers
0429S86 The Samizdat Bulletin
0429S86 letter from N. Shankar, re: enclosed copy of report
0429S86 IRIA list of publications
0429S86 letter from Eric Zuesse, re: Will the non-numerical, symbolic, computer
of the future be analog, not digital?
0429S86 letter from J.A. Robinson, re: Serving as an Editorial Advisor for the
Journal of Logic Programming
0429S86 The Madcap Newletter, Issue # 10.
0429S86 paper. Coordination Technology, re: Anatol Holt
0429S86 letter from Patricia L. McCarl, re: graduate school
0429S86 letter from Andrea Levin, re: AI textbook
0429S86 resume. Sue Walker Toledo
0429S86 letter from Charles T. Owens, re: US-JAPAN NSF grant, Mathematical
Theory of symbolic Expressions
0429S86 IRIA list of publications
0429S86 letter from Derek Partridge and Yorick wilks, re: Foundation of AI workshop
0429S86 Planning in dynamic Environments, a presentation by Inference Corp. to
DARPA, re: inference
0429S86 Mathematical Theory of Computation, Qualifying Exam Syllabus
0429S86 resume. Tom M. Mitchell
0429S86 resume Umesh V. Vazirani
0429S86 letter from C.B. Jones, re: Yue Jun Jiang
0429S86 Conference Booklet, Computers and Mathematics
0429S86 list. AI research group, Technical University, Munich
0429S86 letter from Jerry E. Pournelle, re: invitation to attend Citizens
Advisory Council on Natinal Space Policy
0429S86 pending proposal to Office of Naval Research (URI proposal), April 1986
0429S86 letter from Zdu Jacor, re: scholarship
0429S86 JMC pictures and negatives
0429S86 letter from Edward Stein, re: participating in a lecture series.
0429S86 copy of a letter from Oliger to William Griffiths, re: Griffiths situation
0429S86 resume Anoop Gupta
0429S86 resume David W. Etherington
0429S86 brochure, NASA, Mission Specialist and Pilot Astronaut Candidates
0429S86 memo from Michael T. Ryan, re: Silicon Valley Collecting Program
0429S86 brochure, NASA, Mission Specialist and Pilot Astronaut Candidates
0429S86 announcement, DARPA, New and innovative concepts for SDI, deadline 2/28/86
0429S86 brochure, NASA, Mission Specialist and Pilot Astronaut Candidates
0430S86 letter from Samuel Sadikario, re: collaboration.
0430S86 survey of students opinion of teaching, re: VTSS 160
0503S86 letter (copy) and proposal from Ivan A. Sag, re: AAAI workshop (in AAAI file)
0525S86 memo from Daniel O. Graham, re: attached "High Frontier - The next four
year", Nov. 16, 1984
0525S86 newpaper clipping. Washington Report, re: "Better Weapons in less time for
less money"
0525S86 paper. Fred Seitz and Robert Jastrow. Ballistic Missile defense technologies
0525S86 newpaper clipping. Robert Jastrow; "Frequently asked questions on SDI.
0525S86 newpaper clipping. The Washington Times; Roger Fontaine, Scientist assesses
SDI as a 90's reality. January 3, 1986
0525S86 newpaper clipping. The San Diego Union; Mikhail Tsypkin. The Soviet
strategy of fear - with a new twist, 12/6/1985
0525S86 paper. Fred Seitz and Robert Jastrow. Ballistic Missile defense technologies
0601S86 list and statement. Science and Engineering Committee for secure world
0601S86 article. Robert Jastrow and Frederick Seitz. Progress on the SDI front.
0601S86 list. Science and Engineering Committee for secure world
0601S86 memo. From John Kwapisz, re: Science and Engineering Committee for the
Strategic Defense Initiative.
0601S86 booklet. The international space academy plan.
0601S86 newspaper clipping. Los Angeles Times. Thomas B. Rosenstiel. Soviet Secrecy
blamed for exaggerated. May 10, 1986.
0601S86 Note from Sally Tuttle. re: permission to use.
0601S86 letter from Howard Olson, re: Not in our genes revies.
0601S86 memo. from Lipset, re: major sources of influence by computer scanning.
0601S86 staff working paper, re: Budget effects of the challenger accident
0602S86 letter and proposal from John H. Boose, re: AAAI workshop (in AAAI file)
0605S86 lecture notes. Brad Allen. Verification of ART programs.
0605S86 letter from J.P. Roy, re: his LISP book.
0605S86 memo from Ann Richardson, re: Don Prelis
0605S86 School of Engineering Bulletin, May 1, 1986
0605S86 letter from Karen B. Nilsson, re: Portraits of sucess.
0605S86 draft. Commercial space payload act.
0605S86 A proposed statement on US space goals and principles.5/9/1986
0605S86 lecture notes. General Myers, U.S.A, ret. with Frances X. Kane
0605S86 Soviet space law.
0605S86 letter from Peter Bosch, re: Minsky's book.
0605S86 letter from Richard D. Jenks, re: computer and mathematics session.
0605S86 citizens advisory council on national space policy, sixth meeting,
Spring 1986
0605S86 booklet. re: space policy
0605S86 CV Tom M. Mitchell
0605S86 CV Natarajan Shankar
0605S86 CV Robert Wilber
0605S86 CV Jean-Claude Latombe
0605S86 CV John Dean Batali
0605S86 CV Yoav Shoham
0605S86 CV David W. Etherington
0605S86 letter from Derek Partridge and Yorick Wilks, re: workshop.
0605S86 invitation from Hoover for June 2nd.
0605S86 letter (copy) to Ernst Mayr from Robert E. Tarjan, re: Robert Wilber
0605S86 letter from Constance Casey, re: review for San Jose Mercury.
SUMMER QUARTER 1986
0609E86 letter and proposal from J.A. Self, re: AAAI workshop (in AAAI file)
0624E86 publication announcement, Rutgers University
0624E86 letter from W. Witschel, re: Bibel and Fischer
0624E86 letter from Chris Freiling, re: axioms
0624E86 letter from Mercy Kowalczyk, re: invitation
0624E86 newpaper clipping, William F. Buckley, re: Mosher
0624E86 letter from Ruzena Bajcsy, re: Mathew Ginsberg
0624E86 Pan Am WorldPass Statement
0624E86 The Samizdat Bulletin, April 1986
0624E86 The Samizdat Bulletin, March 1986
0624E86 Interpress, re: EBOS
0624E86 Yoav Shoham, CV
0624E86 letter from Daniel O. Graham, re: support for SDI
0624E86 letter from Ernest LePore and Robert van Gulick, re: contribution of an
essay.
0624E86 letter from Stephen R. Graubard, re: essay for Daedalus
0624E86 press release, re: SDI computing impossible list
0624E86 review in SJ Mercury News, by John McCarthy, The cult of information by
Theodore Roszak
0624E86 letter from R.L. Wexelblat, re: permission
0624E86 status report on The European initiative on LISP standardisation
0624E86 memo from Bob Eustis, to Les Earnest, re: proposal request for IBM-RT
Workstations for use in research
0624E86 letter from Michael Brady, re: Imielinski paper
0624E86 letter from Martin Davis, re: Ernest Davis
0624E86 letter from ACM re: biographical information
0624E86 letter from Shai N. Gozani, re: AI program at SU
0624E86 The AIM project, Version 6, 86-04-07
0624E86 memo from Elizabeth Traugott, re: faculty seminars, 1986-87
0624E86 telex from Barbara Kuhn, re: Hanover presentation
0707E86 letter from John Kwapisz,SEC adm. coord., re: SDI
0707E86 article on SDI budget cut, source: Aviation Week & Space Technology
0707E86 article, re: Gen. Abrahamson's opinion on SDI budget cut
0707E86 copy of letter to Sen. Goldwater & Nunn, re: SDI
0707E86 copy of "An Open Letter to Congress", re: SDI
0707E86 article on antimissile plan (SDI), source: The New York Times
0707E86 notice on SDI, released by the SEC
0707E86 article on SDI cut, source: The Washington Post
0707E86 paper "A Critique of Pure Reason" by Drew McDermott, Yale University
0707E86 paper "Design Overview of the Nail! System" by Morris, Ullman, & Van Gelder.
0707E86 paper "A Logic for Negation in Database Systems" by Shamim A. Naqvi
0707E86 paper "Persistence, Intention, and Commitment" by Cohen and Levesque
0707E86 paper "Actions, Processes, and Causality" by Michael P. Georgeff
0707E86 subscription order form, abstracts in AI, The Turing Institute
0707E86 newsletter, "BITCH", women's rock newsletter
0710E86 bulletin, "The Samizdat Bulletin", May 1986
0710E86 newsletters, etc re: SDI, all from SEC (Science and Engineering Committe)
0710E86 letter, from Kent Curtis of NSF, re: post-doctoral fellowships in AI
0710E86 letter, from Ellen Grimm of Daedalus Journal, re: your agreement to write
0710E86 letter & schedule, from Fred Gerson of Inference, re: investment bankers
0715E86 letter & list re: people with VAX accounts
0715E86 conference facility agreement, re: computer and mathematics conference
0715E86 copy of article by Steven Mosher, source: "Society", re: PR of China
0715E86 paper "Axioms of Symmetry: Throwing Darts at the Real
Number Line" by Chris Freiling. Appeared in:"The Journal of Symbolic Logic", March 1986
March, 1986
0715E86 paper "The Logic of FOL:Formulated in Set Theory" by Richard Weyrauch
0715E86 paper "A Critique of Pure Reason" by Drew McDermott, re: annotated copy
0715E86 paper "On the Declarative Semantics of Logic Programs with Negation" by
Vladimir Lifschitz, June 1986
0715E86 paper "An Outlook on Truth Maintenance" by David McAllister, MIT
0715E86 copy of letter to editor by Stinson of Dartmouth College, re: Mosher
0715E86 letters and articles from Coalition for SDI, re: SDI, etc.
0718E86 copy of 1987 dues paymt.for American Mathematical Society
0725E86 letter from U of Pittsburgh requesting AAAI support, re:AAAI Workshops
0725E86 paper "Commonsense Business Knowledge Representation Detailed Description
of Proposed Research" by Philip Ein-Dor, September 1985
0725E86 invitation to participate in the IFIP TC2 Working Conference, Portugal
0725E86 Access to Energy (newsletter), August 1986 BECKMANN
0725E86 Spektrum, German publication (Scientific American), featuring conference with Gerard Duelen and John McCarthy
with Gerard Duelen and John McCarthy, re: Robotics and Common Sense
0725E86 copy of letter, from Nils Nilsson, to Joseph Weening, re: Black Friday
results
0725E86 copy of proposal 10401, submitted to American Association for AI,
AAAI Workshops
0725E86 technical report, "Unification of Quantified Terms" by John Staples and
Peter Robinson, University of Queensland, June 1986
0725E86 John Staples' new address (until December 22, 1986): Dept of AI, Edinburgh
0729E86 letter and proposal from Yorick Wilks, re: AAAI workshop (in AAAI file)
0801E86 letter and proposal from Kenneth D. Forbus re: AAAI workshop (in AAAI file)
0819E86 letter and proposal from Philip Cohen and Martha Pollack, re: AAAI
workshop (in AAAI file)
0908E86 letter from Dennis Perkinson, re: bus (Aug. 19,1986)
0908E86 material re Mosher
0908E86 Portable common lisp proposal
0908E86 newpaper clipping; The dean of AI, Psychology Today, January 1983
0908E86 letter from S. Fernbach, re second annual supercomputing conference.
0908E86 program solicitation for industry and university in-space technolyg
experiments
0908E86 Brochure. America: a spacefaring nation again, re: Pournelle citizen
advice council
0908E86 letter from Frank Harary, re: mapping between graphs
0908E86 memo from Don Jordan, re: VTSS forum, May 19, 86
0908E86 letter from M. Miranda, re: foundation of logic and functinal programming
0908E86 letter from L. Brett and Glenn S. Tenney, re hackers conference
0908E86 NSF program announcement
0908E86 publication, Measure, re: Hook
0908E86 letter from Jerry Pournelle, re: project high frontier space academy meeting
0908E86 WICS participants list
0908E86 brochure, re: Tatyana Osipove and Ivan Kovalev
0908E86 letter from Jacek Malec, re: request for two puzzle situation calculus in
the blocks world
0908E86 letter from Kurt Ammons, re: German workshop in AI
0908E86 letter from Jacek Malec, re: request for two puzzle situation calculus in
0908E86 letter from John B. Phelps, re: enclosed paper
0908E86 brochure, re: medical scientist training program
0908E86 newspaper clipping, The American Spectator, August 1986, My Generation, R.E.
Tyrell
0908E86 letter from J. Luis MateHernandez re: First international symposium on
Knowledge Engineering
0908E86 letter from T.V. Natarajan, re: symposium, towards fifth generation computers
0908E86 press release re: ARTIFACT
0908E86 letter from Inaki Goiricelaya, re: 2nd world Basque conference
0908E86 paper. Given, Pointwise Circumscription on separable formulas
0908E86 ITS, rate schedule
0908E86 letter from H.N. Mahabala, re: fifth generation
0908E86 Shankar's CV
0908E86 letter from Chris Peterson, re: Drexler
0908E86 Journal of Logic Programming, meeting of the editorial advisers
0908E86 Logic Programming Conference, participants list
0908E86 Brochure. Spectrum der Wissenschaft, Scientific American
0908E86 letter from Paul L. Shiman, re: announcement of General Term Theory
0908E86 letter from Robert G. Burton, re: conference, Minds, Natural and Artificial
0908E86 memo from John Kwapisz, re: activities update
0908E86 NSF announcement, coordinated experimental research
0908E86 letter from Philip Ein-Dor, re: enclosed paper
0910E86 letter from William Griffiths, re: comment on project (no date)
0910E86 letter from John Nagle, re: attached two papers (August 12, 1986)
0910E86 letter from Lynn Scarlet, re: seminar, (August 5, 1986)
0910E86 memo from Jon Barwis, symbolic Program (Sept. 8,1986)
0910E86 letter from Phil Desjardins, re: Educational TV serries on AI(Aug. 28, 1986)
0910E86 brochure, CESTA, Cognitiva 87
0910E86 letter (copy) from Victor Eliashber and Paul Rovner, re: Yakov Elishberg (Aug. 27)
0910E86 The Samizdat Bulletin, July 1986
0910E86 letter and proposal from Frank M. Brown, re: AAAI workshop (in AAAI file)
0915E86 letter from American Academy of Arts and Sciences, re: numination procedure.
0915E86 letter from The Claremont Institute, re: Mosher
0915E86 memo from Donald Kennedy, re: Mosher
0915E86 IBM newsletter, Vol. 1, No. 3, 5/15/86
0915E86 BlueNotes, May 1986
0915E86 Newspaper clipping, Defense News, 9/1/86, re: Autonomous vehicles on course
for future
0922E86 Newspaper clipping, re: SDI, Boffey, NYT, 9/16/86, in SDI topic file
0922E86 letter from J.M. Verah, re letter of reference (9/3/86)
0922E86 Reference guide of 3M Brand PPC Transparency Film
FALL QUARTER 1986
1002F86 from an open letter to Americans by 30 emigre Soviet scientists
1008F86 newspaper clipping, London Times, Israel's nuclear arsenal
1008F86 memo re Arkady Rabinov to CSD faculty
1008F86 announcement re Real-time AI development group, Gensym corp.
1008F86 Curriculum Vitae, John S. Justeson
1008F86 newspaper clipping, re Mosher
1008F86 letter from Richard DiMatteo, re: enclosed manuscript (returned)
1008F86 letter and proposal from John H. Boose, re: AAAI workshop (in AAAI file)
1009F86 letter from Erik Fenstad, re: Moscow meeting, (August 25, 1986)
1009F86 letter from Dana S. Scott re: Moscow meeting, (Sept. 7, 1986)
1009F86 letter from Phil Desjardins, re confirming interview (Aug. 28, 1986)
1009F86 receipt, re payment for photo
1014F86 paper. Desecrating the holy woman, Derek Freeman's attack on Margaret
Mead, Roy A. rappaport, in the American Scholar, Summer 1986.
1014F86 paper. The origin of writing systems: Preclassic Mesoamerica, John S.
Justeson
1014F86 newspaper clipping, San Jose Merto, 9/25/86, re Vietnam
1014F86 newspaper clipping, Stanford harbors liberalism, Brendan Kelly
1014F86 paper. (draft) Randomization in computing,
Michael O. Rabin.
1014F86 letter from John Hopcroft, re enclosed papers for NSF report: (9/16/86)
(draft) Randomization in computing,
Michael O. Rabin.
(draft) What is logic programming, Fernando Pereira
(draft) Parallel Algorithms, Stephen Cook
(draft) Distributed System, Barbara Liskov
1014F86 The Samizdat bulletin
1014F86 CSD list of reports
1014F86 VTSS autumn schedule of forum
1014F86 Privatizing the GPS (in gps[f86,jmc]
1014F86 MEASURE, October 1985
1014F86 table of content for Infinity in mathematics: Is Cantor necessary, by
S. Feferman
1014F86 class list CS306, Fall, 1986
1014F86 letter from William Carey, re Moscow meeting (10/6/86)
1014F86 Computer Science Handbook, CS Dept, University College, Dublin
1014F86 letter from Challeron, re: Chicago Tribune article (10/6/86)
1014F86 letter from John Hopcroft, re NSF report (10/6/86)
1014F86 letter from John Dean, re vacancies (9/30/86)
1014F86 letter from John H. Luppert, re leading group to China (9/25/86)
1021F86 material related to Mosher
1021F86 newpaper clipping. Stanford Daily, re: JMC
1021F86 letter from Christine Gilbert; re: letter to Science
1021F86 letter to Arkady Rabinov, re: position at SU
1021F86 newpaper clipping. New Republic, July 28, 1986, re: New Yorker
1021F86 Re first international peace week of scientists, Nov. 10 - 16, 1986
1021F86 letter from Dennis Paulson, re: Voices of Survival contributions
1021F86 letter from Joseph F. Shea, re: NASA
1111F86 letter from Sanghoon Sull, re: his goals(11/02/86)
1111F86 newspaper clipping, times tribune 11/2/86 re: silicon valley pioneers
1111F86 letter from Philip Cohen and Martha Pollack, re: workshop(10/23/86)
1111F86 Strategic defense development and deployment (SD3), Lt. General Graham
1111F86 SE2 Status update, October 1986
1111F86 letter from John E. Cooper, re: program solicitation.
1111F86 letter from Sue Corneille, re: expenses for logic programming conf.
1111F86 letter from Earl, re: Last Word, JMC
1111F86 tutor (CS306) application, Jim Bratnober
1111F86 tutor (CS306) application, Dirk Hubreys
1111F86 re: Governor Sununu's reelection prospects, re: SE2
1111F86 re: Committee assignments, 1986-87
1111F86 re: Computer cost centers, policies, and free computers
1111F86 re: New comprehensive syllabus.
1111F86 letter from Stephen Rite, re: Michael Gelfond (10/17/86).
1111F86 letter from George L. Wied, re: AAAI workshop, (10/15/86) (in AAAI file)
1111F86 card from George Johnson, re: Machinery of Mind (10/10/86)
1111F86 NSF program announcement, re: NSF-ICOT visitors program
1111F86 letter from Sam Sokolow, re: The quaest for AI
1111F86 memo from Bob Eustis, re: equipment for instruction
1111F86 newspaper clipping, re: from the files of the league of women voters
1111F86 memo from Gardner Lindzey, re: fellows in the center for advanced study in
behavioral science
1111F86 paper. Rosemary Wakeman, "The new industries of Toulouse"
1111F86 paper. Plans, Goals, and Natural Language, James F. Allen and Diane
J. Litman, University of Rochester, Computer Science and Engineering,
Research Review, 1986-87.
1111F86 letter from Phil Desjardins, re: TVOntario AI series. (11/5/86)
1111F86 letter from Zhivko Athanassov, re: request for paper (9/15/86)
1111F86 letter from Platek, re: Platek
1115F86 letter from Ellie Gray, re: SRA Management Briefing videotapes.
1115F86 minutes of administrative sessions, IFIP working group 2.2, August 1986.
1118F86 letter from John R. Rice to Gerard Piel, re: institutional grants.
1118F86 letter from Marilyn Salmansoh, re: Turing Award Lecture.
1203F86 letter and brochure from Olof G. Tandberg, re: Moscow congress
1203F86 bulletin, Understanding Defense, December 1986.
1203F86 letter and items of interest from Fenaughty (Nov. 24, 1986)
1203F86 letter and brochure (government funding of scientific research) from Robert
Poole, re: scientific funding
1203F86 Science and Engineering Comm. for a secure world, Nov. 10, re: SDI
1203F86 letter from Robert McGinn, re: VTSS Dec. 1, meeting
1203F86 letter and attached literature from Daniel Verney, re: introducing himself.
1203F86 letter from Larry Friedlander, re: Shakespeare project. (11/19/86)
1203F86 letter from Dov Dori re: post doctoral (11/11/1986)
1203F86 letter from Joseph Deken, re: Marek's proposal: knowledge and database syst.
(11/19/1986) (copy of JMC's review attached to letter)
1203F86 Bibliotheque electronique - documentation, re: electronic library.
1203F86 letter from centre mondial re: electronic library (6/28/1984)
1203F86 paper. M. Griffiths, representation interne, March 1984. re: library.
1203F86 extended abstract, Raymond Reiter, The closed world assumption, Nov. 1983.
1203F86 midterm examination. re: cs206, cs306.
1203F86 paper. Kahn, re: electronic library.
1203F86 paper. Richard Jeffrey. Judgmental probability and objective change.
1203F86 copy of letter to Mazzetti from Veronica Dahl, re: workshop in Rennes,
11/11/86 (in AAAI file)
1203F86 proposal to NSF by Wiktor Marek.
1203F86 letter (copy) from Phyllis Hughes, re: Editor-based operating system demonstration. (11/14/86)
1203F86 card from Charlotte Bohn, re: family tree
1203F86 letter from P.V. Heftler, re: letter to Science.
1203F86 letter from B.F. Cook, re: Dialog payment. (10/23/86)
1203F86 memo from Jim Adams, re: VTSS meeting, 11/24/86
1203F86 letter from Charles Buckley, re: CS227. (11/3/86)
1203F86 INRIA, rapports de recherche and rapports techniques, parus en 1985-86.
1203F86 Raw notes. Natinal Digital library project, Bob Kahn.
1203F86 Draft. Chapter 3, The anatomy of contemporary science and technology
1203F86 list of advisees, see advise[f86,jmc]
1204F86 Symbolic Systems, list 1986-87
1204F86 letter from Y. Subrahmanyam, re: admission to CSD.
1216F86 brochure, encyclopaedia of mathematics
1216F86 letter from Doo Yong Lee, re: application to SU
1216F86 letter from Binod Krishna Taterway re: application to SU
1216F86 CV Lanos Komlos
1216F86 FOCUS October 1986, re: Zero-Knowledge Proofs, Joe Buhler
1216F86 Joe Weening's comparigon with multilisp; re: QLISP
1216F86 Shankar's handout for CS306, re: Boyer-Moore
1216F86 Shankar's handout for CS306, re: Boyer-Moore (page 2)
1216F86 notes DEC12.TXT[1,JSW], re: QLISP
1216F86 CV Marianne Winslett
1216F86 publication, SU Program VTSS, Nov. 1986
1216F86 memo from SITN, re: room for final
1216F86 newspaper clipping, NYT, Dec. 11 (jmc replied to the letter)
1216F86 CS306 grades
1216F86 Statement of research interest, Peter Berke, Adaptive information processing
Knowledge and naming.
1216F86 letter from Howard Boyer, re: opinion of Mind children: the future of robot
human intelligence
1216F86 The LISP-museum, list of available material
1216F86 letter from SRA, re: agreement
1216F86 newspaper clipping, re: keeping archives on paper, in paper[f86,jmc]
1216F86 J.J.C. Smart, Philosophy and scientific realism, re: ascribing mental qualities (chapter 6)
1216F86 announcement, Gould 9080 computer system,
1216F86 announcement, Godoot, Inc. re: reading packets
1216F86 letter from Mary Lou Allen, SITN, re: Expert systems and common sense (12/4/86)
1216F86 letter from Hyman Bass, re: Judith Grabiner article, (11/25/86)
1216F86 Science and Engineers Com. for a Secure World, re: SDI
1216F86 brochure. Cooperative intelligence for remotely piloted vehicle fleet control
Randal Steeb, Stephanie Cammarate, Sanjai Narain, Jeff Rothenberg, William
Giarla, re: RPV, AI
1216F86 VTSS 160 homework
1216F86 letter from Andy van Dam, re: enclosed report, Imbalance between growth
and funding in academic CS, David Gries, Raymond Miller, Robert Richie,
Paul Young, (4/17/86)
1216F86 letter from Peter Bosch, re: special issue on Marvin Minsky's Society of Mind, (7/1/86)
1216F86 letter from Fred W. Weingarten, re: federal role of AI. (6/25/86)
1216F86 letter from Michael McCarthy, re: technology opinion cost (8/4/86)
1216F86 letter from Michael McCarthy, re: technology opinion cost (8/4/86)
1216F86 paper. Drexler, The promise of social software systems
1216F86 CV. Igor Rivin
1216F86 Samizdat bulletin, Oct. 1986
1216F86 letter from Robert F. Mathis, re: X3J13 Lisp
1216F86 letter from Peter Brown, re: OMSI, also copy of proposal to NSF
1216F86 memo from Les Earnest, re: cost center rates
1216F86 proposal. Knowledge based computer system development project
1216F86 draft. Jacob Levy, CFL - A concurrent functional langauge embedded in
a concurrent logic programming environment
1216F86 letter from Wun C. Chious, re: co-sponsorship of space station automation workshop
(in AAAI file)
1216F86 letter from Herbert, re: new address and tel.
1216F86 Accredited Standards committee, X3, information processing systems, common
LISP meeting
1216F86 abstracts from the programming methodology group's report series, university
of Goteborg and Chalmers University of Technology
1216F86 old proposal, Basic research in AI.
1216F86 letter from Hector Levesque, re: Drew McDermott, A critique of pure reason
(7/8/86)
1216F86 CASBS, roster of fellow, 1986-87
1216F86 letter from Zbigniew W. Ras, re: invitation
1217F86 letter from Norbert Cot, re: Cognitiva 1987
1219F86 letter from Scarlet Noekel re: list of abstracts SEKI-REPORTS (11/21/86)
1219F86 letter from Valo G. Motaloygo, re: looking for position (12/17/86)
WINTER QUARTER 1987
0122W87 letter from Marray Aborn, re: writing an article
0122W87 letter from J.J. Acero, re: invitation
0122W87 letter from Ronald Lee, re: lisp vs. prolog
0122W87 letter from Murray Aborn, re: contributing an article
0123W87 CV Jacob Levy
0123W87 letter from Scientific Datalink, re: permission to reprint
0123W87 letter from S. Mosher, re: his legal action
0123W87 letter from E. W. Jameson, re: Sarah's address
0123W87 bill from ACM
0123W87 letter from Bernard Chen, re: NSF computer research support
0123W87 paper. C.S. Tang, A temporal logic system to unify programs
0123W87 letter from J. Hopcroft, re: drafts for NSF report
0126W87 letter from Howard Boyer, re: Moravec's book.
0126W87 letter from Stephen Graubard, re: Los Alamos meeting
0126W87 letter (copy) from Nils Nilsson to Shai Ben David, re: post doctoral
0126W87 questions for interview
0126W87 letter from Antonio Porto, re: Conference in Madeira
0126W87 letter from Ellie Gray, re: Travel to Chicago
0126W87 letter from Debbie Stewart, re: professorship dinner
0126W87 letter from Kailih David Lin, re: working in JMC's group
0126W87 The Samizdat Bulleting, no. 163, Nov. 1986
0126W87 letter from Risto Hilpinen, re: letter to Tandberg.
0126W87 Second World Press, September 3, 1986
0126W87 letter from Noach Dear, re: Sovier Disinvestment
0126W87 letter from Yuri Yarim-Agaev, re: CFD quarterly report
0126W87 letter from Ellen Grimm, re: Los Alamos meeting (12/18)
0126W87 letter from Herbert Halbrecht, re: government of Singapore investment (1/5/87)
0126W87 letter from Ellie Gragy, re: government of Singapore investment (1/5/87)
0126W87 letter and attachments from Robert Mathis re: X3J common LISP project
0126W87 letter from Hiroshi Nakagawa, re: visit and attached paper Common Sense
Reasoning in Logic Programming and IS-A Hierarchy
0126W87 letter (copy) from Risto Hilpinen to Tandberg, re: Moscow Conference
0126W87 letter from A.K. Kewdney, re: fractal mountains
0126W87 letter from Jan Zubkoff, re new journal, LISP and Symbolic Computation
0126W87 paper. A Flow Puzzle, Rich Schroeppel
0126W87 letter from Cheryl Anderson, re: check for conference
0126W87 card from Mat Ginsberg, re: Ginsberg, probablities, approximate
0126W87 seminar on US/Japan Scientific Cooperation in Computer Software, extended
abstract, Takayasu Ito
0126W87 letter from Takayasu Ito, re: visit to Stanford (12/15/86)
0126W87 EBOS contract IBM, 10/15/86 - 7/31/87. $96,781
0129W87 The Samizdat Bulletin
0129W87 letter from Peter Hirsch, re: SRA video tapes
0129W87 letter from John R. Bourne and Janos Sztipanovits, re: new journal
0129W87 letter from Jean-Louis Lassez, re: Jouranl of Logic Programming
0129W87 letter from Joseph E. Flaherty, re: thanks for advice
0129W87 paper. Takayasu Ito, Takashi Matsuyama and Ken-ichi Ymazaki, Automatic
elimination of backtracking in programming systems with backtracking
0129W87 paper. Takayasu Ito, R&D activities of LISP systems in Japan
0129W87 paper. Takayasu Ito, Takashi Tamura and Shin-ichi Wada, Theoretical
comparisons of interpreted/compiled executions of LISP on sequential and
parallel machine models
0129W87 letter from Ellen Grimm, re: Los Alamos conference (12/12/86)
0129W87 letter and paper, Hiroshi Nakagawa, Common sense reasoning in logic
programming and IS-A hierarchy
0129W87 list of technical reports, Computer and information science, University
of Pennsylvania
0129W87 letter from Gerald Gunther, re: Susan's visit.
0129W87 paper. Judea Pearl, Polya's patterns of plausible inference and the
quest for modularity, CSD/Nov. 1986
0129W87 paper. Michael Ballantyne, Robert S. Boyer, On adding some theorem proving
techniques to LISP, 11/86 (draft)
0129W87 SRA agreement
0211W87 letter from Horn, re: Binford (in Binford file, People section)
0211W87 letter from Rosenfeld, re: Binford (in Binford file, People section)
0211W87 letter from Sastry, re: mailing list
0211W87 letter from Paul Haley re: industrial course description
0211W87 paper. Logic and the challenge of computer science, Yuri Gurevich
0211W87 paper. Rodrick V. Chima, Eli Turkel and Steve Schaffer, Comparison
of three explicit multigrid methods for the Euler and Navier-Stokes
equations.
0211W87 paper. Michael Gelfond, On stratified autoepistemic theories
0217W87 letter from Winston, re: Binford (in Binford file, People section)
0217W87 note from Peter(Access to Energy), re: JMC's letter.
0222W87 Research Interests and Overview, Benjamin Grosof
0222W87 Dissertation Summary, Benjamin Grosof
0223W87 letter from Bajcsy, re: Binford (in Binford file, People section)
0302W87 letter from Brady, re: Binford (in Binford file, People section)
0302W87 paper. Edward Teller, Scientists and national defence, Policy Review,
winter 1987, No. 39.
0302W87 letter and attachments, from Peter Gadzinski, re: solution to NP-Complete
class of problems.
0302W87 letter from Christian Gram, re: special issue of BIT
0302W87 copy of Morgan Kaufmann's permission to publish
0302W87 memo from Feigenbaum, re: congratulations and more
0302W87 letter from Joan Arehart-Treichel, re: The Riddle of Memory
0302W87 letter from Robert M. White, re: congratualtions
0305W87 letter from Jan Komorowski, re: attached CV.
0305W87 letter and press release from Alexander H. Flax, re: membership of
National Academy of Engineering
0305W87 Near West Campus Plan
0305W87 letter from Benjamin W. Wah, re: special issue of IEEE
0305W87 letter from Ralph Barker, re: SVNet
0305W87 memo from Elizabeth P. Ball, re: Pigott
0305W87 letter from Richard F. Staar, re: Moscow workshop
0309W87 memo from Gloria Walker, re: SU faculty senate meeting Feb. 19
0309W87 memo from Gloria Walker, re: SU faculty senate meeting Feb. 19
0309W87 letter from Raj Reddy, re: congratulations
0309W87 letter from George H. Handelman, re: Haugeland book review
0312W87 paper. C.S. Tang, To unify programming with a temporal logic language
system--a step toward a logic machine,
0312W87 letter and background material from VTSS, re: Barry Katz's lecture
0312W87 letter from D.G. Rea, re: committee, JPL
0312W87 article. re: defense, SDI, anti-AI) WEST, Nov. 23, 1986
0312W87 letter from James L. Sweeney, re: productivity seminar
0312W87 tables. re: productivity seminar
0312W87 memo from Peter Clark, re: productivity seminar
0312W87 paper. Bradley P. Allen, ATMS-based problems solvers as Fitch-style
natural deduction systems, Inference
0312W87 report. Programming Methodology group, Lennart Augustsson, Small--A small
interactive funnctional system.
0312W87 newspaper clipping. Herald Journal, 1/7/87 Home of the future will be run by
a central intelligence
0312W87 Committee for Concerned Scientists, call for help, Viktor Brailovsky
0312W87 letter from M. Gelfond, re: letter of reference
0312W87 letter from Steve Kline, re: congratulations
0312W87 letter from Jim Russe, re: congratulations
0312W87 call for participation, 4th annual workshop on theoretical issues in
conceptual information processing, Washington DC 6/4-5/87
0312W87 paper. Moshe Koppel, Structure, Dept. of Mathematics and CS, Bar Ilan Univ.,
Jan. 87
0312W87 congratulations from Robert W. Mann
0312W87 letter from Bernard A. Galler, re: song, ALGOL-68
0312W87 letter from Hans Mark, re: congratualtions
0312W87 memo from Ronald L. Larsen, to JPL TeleRobotics technolgy advisory Committee,
re: review of draft report of first meeting
0312W87 newspaper clipping, SIGART, 11/17/86, re: Reagan budget plan
0312W87 The samizdat bulletin, Jan. 1987.
0312W87 press release, from David L. Veres, re: 1987L-5 converence symposium
0312W87 CV. John F. Sowa
SPRING QUARTER 1987
0327S87 CPR users guide and reference manual
0327S87 invitation from Hoover to Strzelecki seminal
0327S87 MacUser program
0327S87 Statutes of the American Acad for Arts and Sciences
0327S87 paper by Mikhail S. Bernstam, The collapse of the Soviet welfare state
0327S87 ITS announcement
0327S87 Issue Paper, Federal privatization project
0327S87 copy of CS326 grades
0327S87 letter from George Handelman, re review of Haugeland
0327S87 letter from Harry R. Lewis, re Grosof
0401S87 letter from Robert Dunne, re Grosof
0401S87 letter from Carlo Sequin, re Grosof
0401S87 letter from David Hanson, re Grosof
0401S87 letter from John McCarthy, SRI (12/15/86)
0401S87 letter from Yasushi Hibino, thanks
0401S87 film shipment notice
0401S87 letter from Meyer Odze, re: thanks for AI program
0401S87 notes; horor stories based on lawyers doctrinal obsessions
0401S87 students' comments CS326
0401S87 letter from VTSS, re: new publication
0401S87 copy telex, re: clark.re2
0401S87 copy of a letter to Lynn A. Hall, re: experimental equipment
0401S87 letter from Maurice V. Wilkes, re: congratulations
0401S87 letter from Holt Ashley, re: congratulations
0401S87 Lucid's message passing proposal
0406S87 memo from Steve Harris re: congratulations
0406S87 letter from Gordon Bel, re: congratulations
0406S87 letter from Ralph Landau, re: congratulations
0406S87 memo from Kenneth Arrow, re: congratulations
0406S87 letter from Joseph Traub, re: congratulations
0406S87 letter from Todorovich, re: cntries for "Energy"
0406S87 brochure. The National Academy of Engineering
0406S87 letter from Larry Manevitz, re: position
0406S87 memo from Mary Bowman, SPO, re: Final techincal report Portable common LISP
0406S87 OAG Electronic Edition Network Access Instructions
0422S87 CS306 lecture notes Jussi Ketonen, Nov. 1985
0422S87 call for proposals ARPA.
0422S87 letter from Prof. Gonzales, re: interest in position
0422S87 copy of JPL expenses.
0422S87 Goto Lab Report
0422S87 NTT Lisp Machine, photo
0422S87 brochure, Japan Electronic Dictionary Research Instit.
0422S87 Tackeuchi problem
0422S87 announcement, IBM symposium on CS
0422S87 Computer facilities in Ito's lab (March 1987), sketch
0422S87 Benefits newletter
0422S87 paper. Recovery from deadlock and starvation by the forcing method, Ito.
0422S87 Ito lab people, list
0422S87 letter from SPO and copy of ARPA proposal Basic Research in Mathematical
Theory
0422S87 letter from SPO re ARPA proposal Basic Research in AI and Formal Reasoning
0422S87 memo from Jim Gibbons, re Near West campus siting and sequencing
0422S87 letter from Gibbons, re congratulations
0422S87 letter from Jerome Wiesner, re congratulations
0422S87 letter from D.B. Anderson, re attached paper, speculating on the possiblity
of interfacing the human brain with man-made computers
0422S87 letter from Robert Street, re Charles M. Pigot appointment
0422S87 draft paper. An MC68000-based multi-microprocessor system with shared memory
and its application to parallel Lisp interpreter, Ito et al.
0422S87 copies of transparencies used by T. Ito.
0422S87 extended abstract. Seminar on US/Japan Scientific cooperation in computer
software at the east/west center, Honolulu, Hawaii (January 12-14,1987)
0422S87 IBM Japan English-to-Japaniese, April 1987
0422S87 brochure, NTT
0422S87 letter from Frederick Mosteller, re: congratulations
0422S87 publication list, Rutgers University
0422S87 copy of review of Schlipf's proposal
0422S87 letter from Chris Langton, re: invitation
0422S87 letter from Yian Leng Chang, re: application ...
0422S87 letter from Marin Davis, re: Grosof
0422S87 letter from Christopher Fields, re: new journal
0422S87 letter from Jose Collade Medina, re: information
0422S87 letter from Modges T. Throckmorton, re: signature for payment
0422S87 letter from Clara Bush, re: alternate senate representatives
0422S87 letter from Hubert Soentplet, re: survey
0422S87 announcement, IBM seminar
0422S87 copy of letter to Stephen Szirmay, re: JPL report
0422S87 letter from Paul Hadingham, re: reprints
0422S87 brochure, NAE, nomination for membership
0422S87 publication MEASURE, April 1987
0422S87 letter from Takayasu Ito, re: Novermber symposium
0422S87 The Absolute Risk Estimates of Wash 1400
0422S87 Bethe-Seitz panel (as of 7/20/86) and related material
0422S87 letter from Thomas Bredt, re: symposium
0422S87 brochure. First international peace week of scientists, 11/10-16/1986
0422S87 memo re management briefing Artificial Intelligence, 12/2/1986
0422S87 list of Theory Applicants, 1/5/87
0422S87 National Academy of Engineering, membership material
0422S87 brochure. IBM Japan, Tokoyo Research Laboratory
0422S87 letter from Stefan Spang, re: expert system
0422S87 memo, from Dorothy Hirsch, re: activities update and report of Committee
of concerned scientists
0422S87 letter from Risto Hipinen, re: USSR conference
0422S87 letter from Tetsu Oi, re: enclosed papers (in library)
0422S87 letter from James Meindl, re: congratulations
0422S87 letter from Kartam@sushi, re: MSCS
0422S87 proposal for interactive proof-checkers in education (Shankar)
0422S87 CS326 hand out
0422S87 take home final CS326
0422S87 paper, Linear Logic and Lazy Computation, Jean-Yves Girard and Yves Lafont,
December 1986
0422S87 call for participation, workshop on qualitative physics 5/27-29/1987
0422S87 The Samizdat bulletin 2/87
0422S87 The Samizdat bulletin 3/87
0424S87 letter from Peter Dybjet et al. re: invitation for Marstrand workshop
0424S87 letter from Hopcroft re: attached NSF report.
0424S87 grade sheet CS306 F1986
0424S87 memo from Carolyn Tajnai, re: U.S. West advanced technologies sponsored
research project
0424S87 letter from David Kirsh and Carl Hewitt, re: workshop on foundation of AI
0424S87 letter to VAL from Mints about visitor.
0424S87 instructor contract, WICS
0424S87 tentative mailing list for workshop on partial and mixed computation
0424S87 writeup of seminar on contexts, re: Givan
0424S87 information bulletin, Moscow meeting
0424S87 call for participation, workshop on logical solutions to the frame problem
Lawrence, Kensas
0424S87 letter from Fumihiro Tsubura, re: special issue
0424S87 newspaper clipping, The Equilibration of Cognitive Structure, in American
Scientist, Vol. 74, Nov.-Dec. 1986
0424S87 letter from Betty Scott, re: Rutie's departure
0424S87 letter from Michael Griffiths, re: electronic library project
0424S87 letter from Munindar Paul Singh, re: position at SU
0424S87 letter from Robert Mathis, re: X3J13 (Common Lisp) meeting March 1987
0424S87 letter from Zhao Chengfeng, re: visiting scholarship
0424S87 letter from John H. Boose, re: list of expenditures for AAAI workshop
(in AAAI file)
0424S87 letter from Steven Mosher, re: enclosed newspaper clipping
0424S87 notes on "Machinery of the Mind" by George Johnson, Times Books
0424S87 letter from Yri Yarim-Agaev, re: encloused quaterly report
0424S87 CV, Benjamin Grosof
0515S87 letter from Alexander H. Flax, re: requested data for national academy of engineering
0515S87 telex from tourisme d'affaires travel agency
0520S87 letter from Ellen Grimm, re: AI conference
0520S87 list of participants in Impact of Computers on the USSR
0520S87 letter from Siegman, re: Reagan library
0520S87 letter from Steiger and Robbins, re: Chudnovsky
0520S87 paper. Anoop Gupta, High speed implementation of production systems
0520S87 letter from John R. Smith, re: March 31 article in the Daily
0520S87 Lucid plan
0520S87 notes. Typical bilattice description
0520S87 letter from ACM re jmc biography
0520S87 French visa information
0520S87 Spring quarter VTSS forum
0520S87 newspaper clipping. May 18, 1987, Profs have the right to help improve SDI
0520S87 letter from C.F. Nourani, re: enclosed resume
0520S87 paper (draft) J.D. Cowan and D.H. Sharp Neural Networks
0520S87 letter from Toshiyuki Matsushima, re: thank you
0520S87 letter from Hans Morawa, re: interview
0520S87 proposal. Mathematical theory of computation
0520S87 newspaper clipping. ree: Fredkin, NYT 5/13/87
0520S87 paper. Robert E. Kahn, re: AI: The reality and the myth
0520S87 paper. Real brains and AI, re: Daedalus
0520S87 consultant agreement, re: Livermore consulting
0520S87 letter from Herbert Halstead, re: thanks you and attached papers
0520S87 Science and Engineering Committee for a Secure World, newspaper clippings
0520S87 letter from Yakar Kannai, re: Ehud Shapiro
0520S87 note from Michael Reinfrank, re: nmr workshop
0520S87 PSA, re: mileage
0520S87 letter from Yulia Pessina, re: quarterly report, Center for Democracy
0525S87 support for SDI SECSW form
0528S87 letter from Robert Katz, re: common sense reasoning
0528S87 letter from David Kirsh and Carl Hewitt, re: chair and commentator workshop 6/24-27
0528S87 letter from William Gale, re: AI and statistics workshop (in AAAI file in topic)
0528S87 letter from Mary McLeish, re: Cheesman's paper
0528S87 Hoover meeting on Soviet Computers Richard Staar
0528S87 Copy of Elepha.xgp
0528S87 letter from R. Ghosh-Roy, re Post-doc candidate
SUMMER QUARTER 1987
0609E87 CPR users guide and reference manual
0609E87 ICAIL schedule of events
0609E87 ICAIL supplemental registration list
0609E87 ICAIL advance registration list
0609E87 Artificial Intelligence and Psychoanalysis, Sherry Turkle
0609E87 X3J13 slides from the objects presentation
0609E87 letter from Rafael Bayce, re visiting researcher from Uruguay
0609E87 article on contras, see contra[s87,jmc]
0610E87 A Kantian Approach to Causation: Implications for Artificial Intelligence
Kevin Quinn CS326-W87
0610E87 Parallel Computing Using Multilisp, Robert Halstead, Jr.
0610E87 Concurrent Lisp Machines, Robert Halstead, Jr.
0611E87 Merge.SRT[QL,JSW]
0611E87 letter from Stephen Graubard, re Los Alamos AI meeting, Daedalus
0611E87 IPIF call for papers,re canton conference
0611E87 Disinformation: A More Sophisticated Threat? by Charles Via
0611E87 Several articles from local papers,re Hayden
0611E87 letter from Leslie Burkholder, re AAAI workshops
0611E87 letter from Alexander DeAngelis, re U.S.-Japan Cooperative Science Program
0611E87 letter from Hans Morawa, re interview
0611E87 letter from Liu Xianlin, re visiting scholar
0611E87 letter from Linda Feczko, re publishing Turing lecture
0611E87 letter from Penny Carter, re publication agreement
0701E87 letter from Yukio Wakamatsu, re permission to publish
0701E87 letter from Larry Masinter, re enclosed prposals
0701E87 copy of receipts for French trip
0701E87 window system protocol, version 11
0701E87 proposed research into mechanical theorem proving, program verification,
and environments for interactive proof-checking
0701E87 letter from Marie-Pierre Hermann, re: travel arrangements
0708E87 contract award notice, Basic Research in Mathematical Theory of
Computation and in Artificial Intelligence and Formal Reasoning
0814E87 The Market for Power Systems, Richard McCormack
0814E87 Hanna collection brochures
0814E87 University of Rochester Report List
0814E87 referee report, David Gries
0814E87 list of SEKI reports
0814E87 memo from Elizabeth Traugott
0814E87 letter from Paul Hanna, re donating archives
0814E87 NSF application, Robert Given
0814E87 The Logic of Representing Dependencies By Directed Graphs, Judea Pearl
and Thomas Verma
0814E87 permission to reprint Readings in Nonmonotomic reasoning
0814E87 Artificial Intelligence and the Popular Press, Calisa Cole
0814E87 announcement for Second International Workshop on Non-Monotomic
Reasoning, Munich, West Germany, june 13-15, 1988
0814E87 letter about Keith Clark, cv Keith Clark
0814E87 cv James Schlesinger
0814E87 cv Marvin Minsky
0814E87 papers on causality, Patrick Suppes
0814E87 The Illiberal Liberal Environment at Stanford University, George Marotta
0814E87 A Reply to Rod Brooks' Intelligence Without Representation, David Kirsh
0814E87 Don't Blame the Tool, W.A. Woods
0814E87 disk from sogogakuen hal
0814E87 A Mechanism for Early Piagetian Learning, Gary Drescher
0814E87 Genetic AI-Translating Piaget into Lisp, Gary Drescher
0814E87 Design and Analysis of Integrated Manufacturing Systems,National Academy
of Engineering
0814E87 The Bridge, Engineering and the Law, National Academy of Engineering
0814E87 letter from Radja Cuic re interview
0814E87 science and Engineering Committee for a Secure World, re SDI
0814E87 list of current AAAI officers
0814E87 letter from Kenneth Kahn, re workshops
0814E87 letter from Graubard re possible article by Sejnowski
0804E87 letter from Gerald Peterson, re Automotive Industry Action Group
0814E87 application for leave of absence
0814E87 letter from David Steele, re LISP interpreters
0814E87 computer science department brochure
0814E87 grant award notice NSF Basic Research in Artificial Intelligence
0814E87 letter from J.C. Browne, re appointment
0814E87 A Curious Phenomenon: A Report, Sidney Hook, re research on campus
disruptions
0814E87 letter from C.S. Tang
0814E87 Workshop on Foundations of Artificial Intellegence
0814E87 review by Bernard Williams of Society of Mind, Marvin Minsky
0814E87 Foresight Institute, re Eric Drexler
0814E87 inventions report, Livermore
0814E87 AI is a Science, Drew McDermott, Nils Nilsson, John McCarthy, Tomaso
Poggio, re draft report for Holcroft
0814E87 Stanford Design Asociates Brochure
0815E87 request for permission to reprint
0815E87 Erato,Research Development Corporaton of Japan, re Goto
0815E87 Computer Science Department Reports List
0815E87 proposal, Research in Mechanical Theorem Proving
0815E87 list of participants, Foundations of AI conference
0815E87 letter from Gerhard Brewka, re thesis faulty birds example
0815E87 Deriving Efficient Graph Algorithms, John Reif and William Scherlis
0815E87 198: Orwell's and Ours, Noam Chomsky, DRAFT
0815E87 letter from David Parnas, re SDI. letter from David Parnas to James Offut
0815E87 Software Aspects of Strategic Defense Systems, David Lorge Parnas
0815E87 Manuel d'Utilisation de la Bibliotheque Electronique, Ph. Caillot, A. Grandy
M. Griffiths, R. Picca
0815E87 On the Satisfiability of Circumscripton, Vladimir Lifschitz, DRAFT
0815E87 An Assumption-Based TMS, Johan de Kleer
0815E87 WARPLAN: A System for Generating Plans.
0815E87 Stable Theories in Autoepistemic Logic, W. Marek
0815E87 Circumscriptive Theories of Individual Concepts, Vladimir Lifschitz, DRAFT
0815E87 Efficient Interstellar Rocketry, B.M. Oliver
0815E87 Natural Semantics, Gilles Kahn
0815E87 discussion of P. Cheeseman's paper An Inquiry Into Computer Understanding
Judea Pearl
0815E87 What is the Inverse Method, Vladimir Lifschitz, DRAFT
0815E87 Representing DE RE and DE RICTO Belief Reports in Discourse and Narrative,
Janyce Wiebe and William Rapaport
0815E87 Logical Foundations for Belief Representation, William Rapaport
0815E87 outline for Computer Assisted Design in the U.S.S.R., Richard Judy
0815E87 brochure, Workshop on the Impact of Computers in the USSR, Hoover
0815E87 letter to the editor, Stanford Daily from Scott Bohning of STAND
0815E87 STAND circular anti SDI asks scientists to refuse SDI funds for research
0815E87 Reasoning About Change: Time and Causation from Tthe Standpoint of
Artificial Intelligence, Yoav Shoham
0827E87 letter from Erich Neuhold, re: WG 2.2
0827E87 letter from Romain Laufer, re possible visit
0828E87 Policy on unrelated business activities, from James Rosse
0828E87 The Behavior of Computtional Ecologies, Bernardo Huberman and Tad Hogg
0828E87 On the Computability of Circumscription, T. Krishnaprasad
0828E87 The Algebra of Conditional Logic, Fernando Guzman and Craig Squier
0828E87 letter from John Hennessy re Danny Hillis
0828E87 request for extension of NSF grant
0828E87 draft of AI-like courses at Stanford, Yoav Shoham
0828E87 memo re social security refund
0828E87 information on workshop: An Interdisciplinary Workshop on the Synthesis
and Stimulation of Living Systems, September 21-25 1987, letter from Chris
Langton
0828E87 call for papers, Symposium on Logic in Computer Science, Edinburgh,July 1988
0828E87 Incremental Compilation by Partial Evaluation,Yung-jen Hsu,extended abstract
0828E87 Abstracts of CSLI reports
0829E87 letter from John Howell re Saul Amarel
0829E87 memo Scientific and Engineering advisory board for Coalition for the SDI
0829E87 Scientific and Engineering advisory board for Coalition for the SDI
list of members
0829E87 California ballot initiative in support of SDI
0829E87 SD3: Strategic Defense Development and Deployment, High Frontier
0829E87 letter from J.A. Self re AAAI support of workshop on Teaching Knowledge
and Intelligent Tutoring
0829E87 Annual report 1986/7 Mathematical and Computer Sciences Library
0829E87 letter from Herbert Simon re postscript in Turing Award Lectue volume
0829E87 memo from Joleen Barnhill re Giving Programs Common Sense, Check in Proc.
0829E87 statement fom retirement fund
0829E87 letter to Ronald Larsen from D.G. Rea re Telerobotics Technology Advisory
Committee. JPL response
0829E87 letter in russian from Academy of Scienses of the USSR
0829E87 CS306 Handouts Fall 1986
0829E87 Parent-Eating Trees with a Subjective Root, Crispin Hasler
0829E87 IFIP call for papers The Roll of Artificial Intelligence in Databases
and Information Systems, Guangzhou(Canton), China July 4-8, 1988
0829E87 Meta-Logic and Nonmonotonic Reasoning, Fangzhen Lin
0829E87 memo from Ruth Barton re Nomination solicitation for Grace Murray Hopper
award
0829E87 Superlinear Speedup Through Randomized Algorithms, Ravi Mehrotra
0829E87 Hawk's Progress in the USSR, Lt. General Daniel O. Graham
0829E87 SDI interview, questions to be asked
0829E87 memo to XCOM fom Bob Eustis re manufacturing
0829E87 participants Giving Programs Common Sense
0829E87 from Patricia Sanders, Account Commitment and Projection Reports April 1987
0829E87 The Stanford Cenennial Report,Endowed Professorships Fall 1984 - Spring 1987
0830E87 Languages With Self-Reference II: Knowledge, Belief, and Modality, Donald
Perlis, re perlis papers
0830E87 Languages With Self-Reference I: Foundations,Donald Perlis, re perlis papers
0830E87 Circumscription As Introspection, Donald Perlis, re perlis papers
0830E87 On the Consistancy of Commonsense Reasoning, Donald Perlis, re prlis papers
0830E87 Completeness Results for Circumscription, Donald Perlis and Jack Minker
re perlis papers
0830E87 Computing Protected Circumscription, Donald Perlis and Jack Minker, re
perlis papers
0830E87 Circumscribing with Sets, Donald Perlis, re perlis papers
0830E87 Issues in Commonsense Reasoning, Donald Perlis, re perlis papers
0830E87 Reasoning, Nonmonotonic, Donald Perlis re Perlis papers
0830E87 On the Consistency of Commonsense Reasoning, Donald Perlis, re perlis papers
0830E87 Proving Self-Utterances, Michael Miller and Donald Perlis, re perlis papers
0830E87 Commonsense Set Theory, Donald Perlis, re perlis papers
0830E87 Meta in Logi, Donald Perlis, re perlis papers
0830E87 Topological Spaces as Pseudo Distance Spaces, Laura Cuebas, Darrell Hajek,
Donald Perlis, and Richard Wilson, re perlis papers
0830E87 How Can A Program Mean?, Donald Perlis, re perlis papers
0830E87 Sets for Commonsense, Donald Perlis, re perlis papers
0830E87 On Default Handling: Consistency Before and After, Donald Perlis, re perli
papers
0830E87 Self-Reference, Knowledge, Belief, and Modality, Donald Perlis, re perlis
papers
0830E87 Circumscription as Introspection, Donald Perlis, re perlis papers
0830E87 A Preliminary Excursion Into Step-Logics, Jennifer Drapkin and Donald Perlis
re perlis papers
0830E87 What Is and What Isn't, Donald Perlis, re perlis papers
0830E87 Intentionality as Internality, Donald Perlis and Rosie Hall,re perlis papers
0830E87 Step-Logics: An Alternative Approach to Limited Reasoning, Jennifer Drapkin
and Donald Perlis, re perlis papers
0830E87 A Memory Model For Real-Time Commonsense Reasoning, D. Perlis, J. Drapkin,
and M. Miller, re perlis papers
0830E87 Encyclopedia of Computer Science article on Circumscription, Don Perlis,
re perlis papers
0830E87 cv curriculum vitae Donald Perlis, also Statement of Academic Goals and
Achievments, re perlis papers
0831E87 Ketonen-Shankar NSF Proposal
0831E87 unknown logic programming
0831E87 Centre Mondial electronic Library
0831E87 CS306 Handout #8, midterm solutions
0831E87 letter from Bijon Arbab, re enclosed paper
0831E87 The Object of Knowledge, Bijan Arbab
0831E87 Rod Logic and Thermal Noise in the Mechanical Nanocomputer, K. Eric Drexler
0831E87 Cuomo's Handcrafted Bench, Arnold Beichman
0831E87 Automated Theorem Proving: A Logical Basis, Donald Loveland, re What's
wrong with the monkey nd bananas axiomatizations
0831E87 letter from Ronald Lee, re CBCL
0831E87 Candid Description of Commercial and Financial Concepts: A Formal Semantics
Approach to Knowledge Representation, Ronald Lee
0831E87 Perspectives in Deductive Databases, Jack Minker
0831E87 letter from Daniel Bullock, re VTSS (engineer vs. biology) controversy
with enclosed draft of article for American Scientist
0831E87 Catching Up, Forging Ahead, andFalling Behind, Moses Abramovitz
0831E87 Artificial Intelligence Goes to Work, Dwight Davis
0901F87 Artificial Intelligence and Rational Self Government, Jon Doyle
0901F87 letter from Hans Mark, re coming to UT
0901F87 Circumscriptive Theories: A Logic Based Framework for Knowledge
Representation,(preliminary report), Vladimir Lifschitz
0901F87 A Unification Algorithm for Typed λ-Calculus, G.P. Huet
0901F87 Non-Deterministic Lisp with Dependency-Directed Backtracking, Ramin
Zabih, David McAllester, and David Chapman
0901F87 Parallel Execution of OPS5 in QLISP, Hiroshi Okuno and Anoop Gupta
0901F87 Formal Verification of Concurrent Systems (esp. Synchronous Digital
Circuits) Using a 1st-Order Theory of Streams,Thesis Proposal, Alex
Bronstein
0901F87 Automatic Derivation of the Equation of Motion of a Pendulum, Michael
Beeson
0901F87 Stereo Depth Distortions in Teleoperation, Daniel Diner and Marika von Sydow
0901F87 Annual meeting of the Associaton for Symbolic Logic, Anaheim 1985,
contributed papers
0901F87 letter from Joyce Lain Kennedy asking you to review an entry in guidance
catalog with material attached.
0901F87 Behavioral and Brain Sciences magazine announcement
0901F87 Behavioral and Brain Sciences, memo to commentators
0901F87 A Circumscriptive Theorem Prover (DRAFT), Matthew Ginsberg
0901F87 The Relevance of Irrelevance, Devika Subramanian and Michael Genesereth
0901F87 The SRC Machine: A Model for a Super Computer, David Cheriton
0901F87 Formal Theories of Action, Vladimir Lifschitz
0901F87 The Politics of Contraception, Carl Djerassi
0901F87 Object-Oriented Programming with Flavors, David Moon
0901F87 Flavors: Object-Oriented Programming on Symbolics Computers, Sonya Keene
and David Moon
0901F87 LISP Pointers, April-May 1987
0901F87 letter from Brian Haugh to Lifschitz
0901F87 Simple Causal Minimizations for Temporal Persistence and Projection,
Brian Haugh
0901F87 letter from Victor Basili, re Donald Perlis promotion
FALL 1987
The following entries are all the the month of October 1987
The month of October 1987 is broken into 5 file folders. They are separated
here with an underscore line.
October University of Maryland Technical Report Series\July 1987
October Ltr fr David & Gregory Chudnovsky, May 9, 1986\A Random Walk in Higher
Arithmetic\Advances in Applied Mathematics 7,101-122\1986
October Knuth on CSD\14 Mar 1983
October Paper\L.V. Chernobrod\Computer Solution of Mutilated Checkerboard
October Paper\E. Ray Bareiss, Bruce W. Porter, Craig C. Wier\Univ of Texas
Austin\Protos: An Exemplar-Based Learning Apprentice
October Paper\Criteria of Truth\In Russian\1987
October Paper\Rohit Parikh\to appear in FST and TCS, Pune India, 12-87\Some Recent
Applications of Knowledge
October Paper\Rohit Parikh and Paul Krasucki\Prelim version appeared in Proc. IEEE
Symposium on Logic in Computer Science, Boston, 1986\Levels of Knowledge
in Distributed Computing
October Paper\Tom Knight, Symbolics & MIT AI Lab\An Architecture for Mostly
Functional Languages
October Paper\Aaron Wildavsky\The Public Interest, No. 88, Summer 1987\The
Media's American Egalitarians
October Paper\Valentin F. Turchin\Journal of Symbolic Logic, Vol 52, No. 1,
March 1887\A Constructive Interpretation of the Full Set Theory
October Japanese Activities toward Lisp Standardization
October Paper\Fangzhen Lin, CS Dept, Hua Chiao Univ\Circumscription In A
Modal Logic
October Paper\ACM Transactions on Programming Languages and Systems, Vol 8,
No. 3, July 1986\Valentin F. Turchin\The Concept of a Supercompiler
October Final Report, July 31, 1987, Grant No. 86-156-e-036-06.0\Center for
Democracy
October Paper\M. I. Kanovich\Soviet Math Dpkl, Vol. 32, No. 3, 1985\Efficient
Logical Algorithms of Analysis and the Synthesis of Dependencies
October Paper\Correctness and Equivalence of Programs\L.V. Chernobrod\
Academy of Sciences, USSR 1976
October Paper\On the control of the types of the values of variables using
proofs of properties of programs\L.V. Chernobrod, Academy of Sciences
USSR
October The Work Station Mramor (Marble)\anonymous\Siberian Division USSR
Academy of Sciences
October Verification of a class of loop programs without use of loop invariants\
L. V Chernobrod\Academy of Sciences USSR
October Automatic system for testing the correctness of progams relative to
structures of objects\L. V. Chernobrod\Kibernetika
October Paper, Computer Craphics, Vol. 21, No. 4, July 1987\Vaughan Pratt,
Sun Microsystems & Stanford\Direct Least-Squares Fitting of Algebraic
Surfaces
October Paper, Computing Center, Siberian Division, USSR Academy of Sciences\
L. V. Chernobrod\A system for analysis of properties of programs depending
on complex data structures
October Technical Report 87-26, July 1987, Univ of British Columbia\
Paul C. Gilmore\Formalizing Attribution by Default
____________________________________
File Folder No.2
October (This is in French)\Institut National de Recherche en Informatique et en
Automatique\Rapports de Recherche et Rapports Techniques\Oct 1986 -
September 1987
October Workshop on Environments for Computational Mathematics\July 30, 1987\
Conference in Anaheim ACM SIGGRAPH also: CaminoReal: An Interactive
Mathematical Notebook\D. Arnon, R. Beach, K.McIsaac and C. Waldspurger\
Submitted to EP88 for publication (draft)
October Faculty Meeting, September 29, 1987
October Confirmation to hold American Association for AI Symp Series on campus
March 22-24, 1988
October RC 12057 (#54343) 8/6/86\Harold S. Stone and Janice M. Stone, IBM
TJ Watson Research Center, Yorktown Heights, NY\Efficient Search
Techniques - An Empirical Study of the N-Queens Problem
October Paper\Paul Baran\The future compute utility
October paper\to appear in Decision Support Systems\Ronald M. Lee, GSB
Univ Texas, Austin\August 1987\A logic model for electronic contracting
October TR CSD-8700xx - R-94, August 1987\Hector Geffner and Judea Pearl
Cognitive Systems Lab, Univ of Calif, LA\Sound defeasible inference
RE: non-monotonic
October Program Review by US Army Research Office\Univ of Texas at Austin, AI
Lab\November 12, 1986
_________________________________
File Folder No 3
October Department of State Pub 9617\August 1987\What the Sandinistas say
about their revolution
October National Medal of Science Nomination by Annelise Anderson\Aug 18, 1987
October Letter dtd Aug 13, 1987 from Jean-Louis Lassex, IBM\otification of the
present status of the journal.
October Young programmers summer school\Novosibirsk\1987
October ResearchReport\Joseph Y. Halpern, IBM and Yoram Moses, Stanford\RJ 4448
(48136) 10-2-84\Towards a Theory of Knowledge and Ignorance:
Preliminary Report
October Research Report RJ 4753 (50521) 6-25-85\J.Y. Halpern, IBM and Yoram Moses
Stanford\A Guide to the Modal Logics of Knowledge and Belief: Prelim Draft
October Reprint VLSI85\Proceedings of the IFIP TC 10/WG 10.5 International
Conference on Very Large Scale Integratin\Tokyo\26-28 Aug. 85.
October Paper\Revised 8-31-87\Rohit Parikh & P. Krasucki\Communication,
Consensus and Knowledge
October Ltr\Miro M. Todorovich\Sept 29, 1987\Support of the Glazer-Hook
statement on the candidacy of Judge Bork.
October Paper\Julius Telesin\Samizdat in Brief - An Introductory Article
October Paper\Michael J. Beeson\Application of AI to Computer-Assisted
Instruction in Mathematics
October Letter\Judea Pearl\9-22-86\Note entitled Legitimizing Causal Reasoning
in Default Logics
October Paper\Benjamin Kuipers\9-23-87\Causal Link Models (Draft)
October Paper\Dept of Mathematical Sciences, Univ of Texas, El Paso\Teodor
Przymusinski\Non-monotonic reasoning vs. logic programming: a new
perspective
October Paper\Joseph Goguen and Carl Hewitt\Towards an Assessment of ICOT\
9-8-87
October DARPA\1987 Principal Investigators Meeting\15 Sept 87
October Ltr from Joel Moses, MIT\9-17-87\RE: Robert H. Halstead, Jr., tenure and
JMC response on 10-2-87
October Paper to appear in Proceedings ICCD 87\The symbolics ivory processor:
a 40 bit tagged architecture lips microprocessor\Clark Baker, et al
October Paper to appear in Proccedings ICCD 87\The symbolics ivory design and
verification strategy\Neil Weste, et al
October Letter from John Nafeh\9-15-87\JMC election to MADs Board of Directors
_____________________________
File Folder No. 4
October Paper\Matt Kaufmann\Sept 17, 1987\Some impressions of z: Report on
Oxford Trip, Aug 1987
October Paper\Eyal Mozes\Dept of Applied Math, Weizmann Inst of Sci\Masters
Thesis\A deductive database based on Aristotelian logic
October Paper\John C. Reynolds, Syracuse University\Definitional interpreters for
higher-order programing languages\Proc. ACM National Convention 1972
pp. 717-740
October Paper\Behavioral and Brain Sciences\Paul Smolensky, Univ of Colorado\
On the proper treatment of connectionism
October RC 11365 9-13-85\IBM Research Division\DV and GV Chudnovsky\On expansion
of algebraic functions in power and piuseux series
October Paper\Leslie Lamport, DEC\Oct 31, 1984, revised Jan 21, 1986\Buridans
Principle
October Letter (enclosure) Joseph G. Dekin, Oct 30, 1987\List of awards that
Knowledge and Database Systems Program of the NSF was able to make
during 10-1-86 and 9-30-87, with research abs for each project.
October Paper\Nilsson, Oct 87\Logic and AI
October Paper\SRI Tech Note 351R, April 1985\Manna and Waldinger\The origin of a
binary-search paradigm
_____________________________
File Folder No. 5
October DARPA Contractors Meeting\10-13 April 1983
October Paper\V. Lifschitz\12-86\draft\On formalizing contexts
October Book, chapter 1\K. Mani, Chandy, J. Misra\Parallelism and programming:
a perspective
October Paper\V. Lifschitz\On the declarative semntics of logic programs with
negation
October Paper\V.Nageshwara Rao, Vipin Kumar\Univ of Texas, Austin\Nov. 18, 1987\
Parallel depth first search: Implementation and analysis
October Program announcement\NSF, OMB 3145-0058\Grants for research on information
robotics and intelligent systems
October Paper\J. Symbolic Computation (1987)3,69-116\Nachum Dershowitz\Termination
of Rewriting
October Paper\December 8, 1986\Draft\Vladimir Lifschitz\Formal Theories of Action
October Committee of Concerned Scientists\Action alert for Naum Meiman\Ativities
Update
October Compared terminologies\Minskys (The Society of Mind) and Callatays (Natural
and Artificial Intelligence)
Nov LiTH-IDA-R-87-22\An Interactive System for Tagging Dialogues\Lars
Ahrenber and Arne Jonsson\Research Report\October 1987
Nov LiTH-IDA-R-87-24\Drawing Dynamic Treet\Sven Moen\Research Report
November 1987
Nov LIBLAB Research Report\LiU-LIBLAB-R-1987:1\LINS-LIBLABs Name Handling
System: A knowledge-based system for authority control of personal
names according to AACR2, Ch.22., Headings for persons\R. Hjerppe\
June 1987
Nov ACM Operating Systems Review\Volume 9, Number 5, Special Issue\
Proceedings of the Ffth Symposium on Operating Systems Principles\
19-21 November 1975\University of Texas at Austin
Nov Report No. STAN-CS-82-903\April 1982\Coloring Maps and the Kowalski
Doctrine\JMC
Nov Article from the American Mathematical Monthly\Shuffling Cards and
Stopping Times\David Aldous and Persi Diaconis\Vol. 93, No. 5\May 1986
Nov Preservation of Historical Records\Committee on Preservation of Historical
Records\National Academy Press\1986\RE: paper vs. computer\RE: electronic
library
Nov National Academy of Engineering\23rd Annual Meeting\October 13, 1987\
Section Meeting Agendas
Nov National Academy of Engineering\Fiscal Year 1986\Program Report
Nov Dissertation\N. Shankar\Proof-Checking Metamathematics\July 1986
Nov A paraphrase comosed by J. Korpela\V. M. Glushkov et al.\Analitik-79
Nov Ltrfr Ileana Streinu\Nov 14, 1987\Sent her book LISP - the programming
language of AI\in Romanian
Nov WICS\Giving Programs Common Sense\Tentative dates 8-12 August 1988
------------------------
File Folder No. 3
Nov NASA Technical Memo 100218, ICOMP--87-6, AIAA-88-0594\Navier-Stokes Cascade
Analysis with a Stiff k-e Turbulence Solver\Jong-Shang Liu
Nov Paper\Specialisation of Prolog and FCP Programs Using Abstract
Interpretation\John Gallagher and Michael Codish\Weizmann Institute of
Science, 76100 Rehovot, Israel\October 1987
Nov A Program Development Methodology Based on a Unified Approach to Execution
and Transformation\John Darlington and Helen Pull\Imperial College, London\
October 1987
Nov Part 3\More Practical GPC\Y. Futamura and K. Nogi\Revision, Oct. 16, 87
Nov Paper\On the essence of mixed computation\S.S. Lavrov
Nov Paper\Automatic Program Specialization: A re-examination from basic
principles\Neil D. Jones\Diku, University of Copenhagen
Nov Paper\Mixed Computation of Prolog Programs\David A. Fuller and Samson
Abramsky\Imperial College of Science and Technology, London
Nov Implementaion of Controllable Mixed Compputation into System for the
Automatic Development of anguage-Oriented Parsers\Boris N. Ostrovski\
Altai Polytechnic Institute, Barnaul, USSR
Nov Paper\Unfolding Rules for GHC Programs\Koichi Furukawa, A. Okumura and
M. Murakami\ICOT Research Center, Institute for New Generation Computer
Technology, Tokyo, Japan
Nov Paper\Challenging Problems\DIKU\6 February 1987
Nov Some Analogues of Partial and Mixed Computations in the Logical
Programming Approach\N.N. Nepejvoda\Izhevsk, USSR
Nov Mailing, List of Participants, and Literature List for the Workshop on
Partial Evaluaton and Mixed Computation\Denmark\October 1987
Nov Paper\Across the Bridge between Reflection and Partial Evaluation\
Oliver Danvy\University of Copenhagen
Nov Paper\Partial Evaluation with Inference Rules\L. Hascoet\INRIA Sophia-
Antipolis\Sep, 1987
Nov Paper\The Logical Approach to Programming\N.N. Nepeivoda\Izhevsk, USSR
Nov The Samizdat Bulletin\No. 172\August 1987\Psychiatric Hospital of Special
Type in Oryol: Buildings and Priso Yard
File Folder No. 1
Dec Letter from Patrick Suppes to Ruth Adams\The John and Catherine
MacArthur Foundation, Chicago\12-4-87\Kinds of seminars JMC and Patrick
have discussed with their Russian colleagues
Dec Paper\Belief, Awareness, and Limited Reasoning\Ronald Fagin\IBM
Almaden Research Center\To appear in the Proceedings of the 9th
International Joint Conference on AI, 1985
Dec Paper\A Critique of Pure Reason\Drew McDermott\Yale University\6-24-86
Dec Research Report\Joseph Y. Halpern\RJ 5001 (52251) 1/23/86\IBM Almaden
Research Center, San Jose
Dec Paper\V. Lifschitz\Pointwise Circumscription
Dec Paper\V. Lifschitz\Formal Theories of Action
Dec Paper\N.N. Nepeivoda\On the Formalization of Information Ideas:
Autoproductive Systems of Theories (Russian)
Dec Paper\Janet H. Walker et al.\Symbolics\In press, IEEEESoftware, Nov 1987
Symbolics Genera Programming Environment
Dec Paper\M. Gelfond\The Stable Model Semantics for Logic Programming
Dec Paper\K. Eric Drexler\To appear IEEE Micro Robots and Teleoperators
Workshop\Nanomachinery: Atomically Precise Gears and Bearings
Dec Paper\K. Eric Drexler\Draft only\Hypertext Publishing and the Evolution
of Knowledge
Dec Paper\Janet H. Walker\Symbolics\Document Examiner: Delivery Interface
for Hypertext Documents\1987
------------------------
File Folder No. 2
Dec Technical Report, CSD-8700XX, R-100, September 1987\Judea Pearl\A
Probabilistic Treatment of the Yale Shooting Problem
Dec Letter\Patrick Suppes\November 5, 1987\Joint seminar in Philosophy
and computer science
Dec Author-Publisher Agreement\re: Daedalus contract
Dec Letter\Nov 9, 1987\Kumi Ohashi\Announcement of publication of article
Giving Computers Common Sense
Dec Center for Democracy\Yuri Yarim-Agaev\Copies of reports to the NED.
Dec Chart\Pat Gunkel
Dec Ltr of invitation to IFIP meeting in Warsaw/June 20-24 1988
Dec Ltr from University Centers for Rational Alternatives\12-23-87\
Executive Board meeting in NYC on October 16
Dec The Samizdat Bulletin\October 1987\No. 174
Dec Memo from VTSS Faculty/Staff to VTSS Forum Participants\Subj: The
Challenger Disaster - 2 years later\February 8
Dec Paper\Intl J. of Theoretical Physics, Vol. 21, No. 12, 1982\Gregory
J. Chaitin\Godels Theorem and Information
Dec Paper\Arthur L. Samuel\A Note on Scaling Binary Typeface Information
Dec Research Report\RJ3440 (40926) 4/5/82\Ronald Fagin\Armstrong Databases\IBM
Research Division\Yorktown
Dec Research Report\RJ3500 (41357) 6/7/82\Ronald Fagin and Moshe Y. Vardi\
Armstrong Databases for Funcational and Incluson Dependencies\IBM Research
Division\Yorktown
Dec Programming Methodology Group\Univ of Goteborg and Chalmers Univ of Tech\
Peter Dybjer\Category Theory and Programming Language Sematics: an
Overview\Report 29\May 1986
Dec NASA Technical Memo 100205 ICOMP-87-7\Similar solutions for viscous
hypersonic flow over a slendr three-fourths-power body of resolution\
Chin-Shun Lin\Inst for Computational Mechanics in Propulsion, Leis
Research Center, Cleveland, Ohio\December 1987
Dec Ltr from World Scientific Publishing Co, Teaneck, NJ requesting JM
to write a book or lecture notes on Mathematical theory of computation\
December 2, 1987
Dec NSF Announcement on Expansion of CISE Institutional Infrastructure
Program (Small Scale)\OMB 3145-0058
Dec Paper\Problems in the Logic of Scientific Explanation\Ernest Nagel\
The Structure of Science\Harcourt, Brace and World, Inc\1961
Dec Paper\JMC\Coloring Maps and the Kowalski Doctrine
Dec Paper\Christoph Hoffmann and John Hopcroft\Automatic surface generation
in computer aided design\The Visual Computer, 1:92-100\Springer-Verlag\
1985
Dec Paper\M. Gelfond et al\Minimal Model Semantics vs. Negation as Failure:
A Comparison of Semantics
Dec Paper\W. Zadrozny\IBM TJ Watson Research Center, NY\Cardinalities and
Well Orderings in a Common-Sense Set Theory\October 26, 1987
Dec Research Report\RJ 4421 (47909) 10/2/84\IBM, NY\Knowledge and Common
Knowledge in a Distributed Environment
Dec Paper\Hans Mark\University of Texas System\November 1987\Strategic
Definse: A Question of Hope and Fear
Dec Paper\R.P. Feynman\Personal Observations on the Reliability of the
Shuttle
Dec Paper\Katherine Morris et al\Yawn (Yet Another Window on Nail)
Dec Paper\Bijan Arbab, IBM LA\On Paradox of the Name Relation
Dec Paper\J.B. Paris and A. Vencovska\A Note on the Inevitability of Maximum
Entropy
Dec Paper\J.B. Paris and A. Vencovska\On the applicability of maximum entropy
to inexact reasoning
------------------------
File Folder No. 3
Dec Paper\Michael Gelfond et al\Univ of Texas, El Paso\On the relationship
between circumscription and negation as failure\Accepted for publication
in AI
Dec Paper\Michael Gelfond and Halina Przymusinska\Univ of Texas, El Paso\
On the relationship between autoepistemic logic and parallel circumscription
in Proceedings of ISMIS 1986
Dec Paper\Halina Przymusinska\Univ of Texas, El Paso\On the relationship between
autoepistemic logic and prioritized circumscription for stratified
deductive data bases\to appear in proceedings of Intl Symp on Methodologies
for Intelligent Systems 1987
Dec Paper\M. Gelfond\AI 30 (1986) 273-287\Negation as Failure: Careful Closure
Procedure
Dec Glasnost\Issue No. 1\Moscow, June 1987\Information Bulletin
Dec Conversation with Valery Senderov (Russian)
Dec Chapter 3\Robert H. Halstead, Jr\MIT\Design Requirements for Concurrent
Lisp Machines
Dec Paper\Robert H. Halstead, Jr.\MIT\An Assessment of Multilisp: Lessons from
experience
Dec Publications of Robert H. Halstead, Jr.
WINTER 1988
0105W88 Letter/Mary McLeish/University of Guelph/Re: submission to Intl
Journal of Intelligent Systems.
0107W88 AI-like courses at Stanford/Yoav Shoham
0100W88 Letter to Stephen Squires/Re:travel pay for W. Clinger and R. Gabriel
0125W88 Letter from Gary Olson/Cognitive Science and Machine Intelligence
Laboratory/Requesting AAAI funds to support an event on vision.
0129W88 Letter to Zeev Rotem/US-Israel Binational Science Foundation/Request
to review proposal (Knowledge-Based Design of Reactive Systems
0119W88 Letter to Gabrielle V. Michalek/Carnegie Mellon/Give permission to
send copy of transcript to B.J. Copeland (Machines Who Think)
0129W88 Letter to Mutsumi Komuro/His request to study computer science at
an American university/included are some of his papers/On Atiyah-
Patodi-Singer nu-invariant for S1-bundles over Riemann surfaces/A
Natural Language Interface System/test scores
0208W88 International Workshop on LISP Evolution and Standardization\Paris,
France\22-23 February 1988
0208W88 Memo fr J. Gibbons\Performance Appraisals
0208W88 Ltr from SPO to ONR\Proposal - Advanced Research and Development...
Contract Award Notice\In secretarys office
0219W88 Invoice to Information International Inc.
0216W88 Ltr from Regis McKenna\Request to speak at the Bull 88 conference
in Paris on May 6 (in conference folder in secretarys office)
0217W88 Telex to Prof. Jones, Denmark\Offer to teach here one quarter
0223W88 Memo from JMC proposing reappointment of Jussi Ketonen
0225W88 Paper\A. Rabinov\A Restriction of Factoring in Binary Resolution
0225W88 Memo from E. Levinthal\Industry Property Rights under Industry-Funded
Research
0225W88 Requests and responses to recommendation of John Justeson
0225W88 Memo\NSF Final Project Report for Grant No. OCR-8206565\in secretarys
office\contract file
0225W88 Ltr\William Aspray\Annals Reviews Editor\Request a review of
Brian P. Bloomfield\The Question of Artificial Intelligence
0225W88 Ltr\Robert G. Sachs to Frederick Seitz\Union of Concerned Scientists
making unauthorized use of Sachs name to support its position on nuclear
power.
0225W88 Ltr\Larry J. Nixon\Addition and Multiplication of Positive Integers\
comment JMC (apparent crackpot)
0228W88 Proposal Evaluation Form\Research in Mechanical Theorem Proving\
in secretarys contract file
0228W88 Proposed course in communications security\Winter Quarter 1989\
Whitfield Diffie\Bell-Northern Research, Mt. View\968-5792
0228W88 Paper\Jonas Lowgren\Applying a Rapid Prototyping System to Control
Panel Dialogues\ISSN-0281-4250
0229W88 The Samizdat Bulletin\No. 176\December 1987
0229W88 Paper\Scaling, Machine Learning, and Genetic Neural Nets\E. Mjolsness
et al\Yale University\LA-UR-88-142
0229W88 Memo\Nils Nilsson\The Senior Foundations Faculty\Problem areas
0229W88 Ltr\Richard D. Jenks\Prelim announcement for the 89 Computers 7&
Mathematics meeting at MIT
0229W88 Coalition for the SDI\Memorandum for Scientific and Engineering
Advisory Board
0229W88 Secretariat ISO/TC\LISP in Japanese Industry\JEIDA Committee for LISP
Standardization (Japan)\Project 97.22.23
March 1988
0301W88 Ltr from Dr. Herbert Stoyan\2.2.88
0301W88 Ltr from Dr. Cranberg\2.2.88\re Stephen Balch and his Campus for
Coalition for Democracy (renamed National Association of Scholars)
0301W88 Paper\Liang-Yin Yu\Feb 88\Information, Resource and Learning:
A Formal Approach
0301W88 Ltr\AUI Data Graphics\2.24.88\Society for Information Management
0301W88 Ltr from Alexander von Graevenitz\Institut for Medizinische Mikrobiologie
Zurich\INF\NDI
0301W88 List of SEKI Reports and SEKI Working Papers for 1986 and 87\
University Kaiserslautern
0310W88 Letter from JMC to Hans Mark and his response\12.22.87
0311W88 Ltr\Larry S. Davis\Re: Jack Minker\his vitae\3.11.88
0312W88 Memo from Knuth\draft to Nils\1.19.88
0312W88 XMP Overview\Symbolics Confidential
0317W88 Newspaper article from DEK\Basic Research Collapses Under
Superscience
0317W88 Collier's Encyclopedia article on AI
0317W88 Paper\Constructive Logical Methods, I\Nepeivoda, N.N.
0317W88 Pravda article on rehabilitatious (re: Bukharin)
0317W88 Nomination for National Medal of Science
0317W88 Ltr from Rolf Herken\Turing volume
Folder No. 2
03W88 Paper/Jacob T. Schwartz/Dreamworld
03W88 Paper\Eric Werner\Intention, Information and Ability: Outline of a
Unified Theory
03W88 Paper\Jacob T. Schwartz\Limits of Artificial Intelligence
03W88 VTSS\Expertise: Scientific Necessity and Social Convention
03W88 Letter\Neil Jones\trip to US
03W88 Letter\Lawrence Cranberg\Western culture at Stanford
03W88 TIAA-CREF at Texas
03W88 TTAC meeting March 14-16, 1988 at JPL
03W88 Paper\Charles Elkan et al\Automated Inductive Reasoning about Logic
Programs
03W88 Paper\Brian Cantwell Smith\On the Threshold of Belief
03W88 Conseil Scientifique du Septembre 1987\Rapport de synthese
03W88 The Samizdat Bulletin\No. 177\Spring 1988
03W88 Paper\James I. Cash\IS redraws competitive boundaries )re: CBCL, MAD)
03W88 Paper\L. Thorne McCarty\Intelligent Legal Information Systems: an update
03W88 Paper\Claude E. Shannon\Programming a Computer for Playing Chess
03W88 Paper\Gary Stix\Ending the supplier paper chase (re: CBCL, MAD)
0320W88 Paper\The concept of E-machine: on brain hardware and the algorithms of
thinking\Victor Eliashberg, Varian Associates\Avel Electronics
0320W88 Letter\John W. Deming and Kristen W. Carlson\Thomas Paine\Common Sense
0320W88 Letter to Prof. Richard Askey from Bill Gosper\ 27 Mar 88
0320W88 Paper\William Y. Arms, Lisa D. Holzhauser, Mar 8, 1988\Mercury An
Electronic Library
0320W88 aper\Jaime G. Carbonell, 25 Mar 88\The AAAI Electronic Library, Thoughts
and Suggestions
0320W88 Paper\Steve Rowley et al\Joshua: Uniform Access to Heterogeneous
Knowledge Structures
0320W88 Paper\Kurt Konolige\Hierarchic Autoepistemic Theories for Nonmonotonic
Reasoning
0320W88 Paper\Dougles Appelt\A Nonmonotonic Logic for Reasoning about Speech
Acts and Belief Revision
0320W88 Paper\Matthew L. Ginsberg\Draft\The Yale Shooting Problem Revisited
0320W88 Paper\Susan Landau\Zero Knowledge and the Department of Defense
0320W88 Paper\Phokion G. Kolaitis and Christos H. Papadimitriou\Some computational
Aspects of Circmscription
0320W88 Paper\Dorothy E. Denning\An intrusion-detection model
0320W88 Paper\Allen Newell\AAAI, Stanford, 1980\The knowledge level
0320W88 Paper\Sarit Kraus, Daniel Lehmann\Automated Negotiator
0320W88 Paper\IIRIAM\9 Mar 1988\Rapport de synthese\21 Sep 1987
0320W88 Paper\Frans Moyson and Bernard Manderick\The collective behavior of
ants: An example of self-organization in massive parallelism
0320W88 Paper\CSD\William J. Clancey\Viewing Knowledge Bases as Qualitative Models
0320W88 Paper\CSD\David E. Smith\A decision-theoretic approach to the control of
planning search
0320W88 Paper\Draft 1\Michael Gelfond\Autoepistemic logic and formalization of
common-sense reasoning
0320W88 Paper\Matthew L. Ginsberg\The Multiple Extension Problem: Where are we?
0320W88 Paper\Robert Greer Cohn\Nodes, Part 1\Diacritics\Sprng 1974
0325W88 Western Culture controversy\various articles
0325W88 CSD faculty meeting\march 29, 1988
0325W88 Annual Report 1987\TIAA-CREF
0325W88 Paper\Rohit Parikh\Knowledge and the problem of logical omniscience
0325W88 Paper\Rohit Parikh\Some recent applications of knowledge
0325W88 Article\Ray Spangenburg and Diane Moser\A star warrior aims at the moon\
Space World, April 1987
0325W88 Paper\J.W. Lloyd, J.C. Shepherdson\December 1987\CS-87-09\Partial
Evaluation in Logic Programming
0320W88 Ltr\April 20, 1988\WICS\Confirm participation in WICS summer of
1988 (Aug 8-12)
0320W88 TIAA-CREF prospectus, 1988
0320W88 Memo\National Research Council\Mar 10, 1988\Re committee to study
international developments in computer science and technology
0320W88 Fact sheet\Nagorno-Karabakh
0320W88 Paper\William J. Clancey\The knowledge engineer as theoretician
0320W88 Ltr\L. Cranberg w/enclosures\Apr 6, 1988
0320W88 Article\China's Andrei Sakharov\The Atlantic Monthly\May 1988
0320W88 Ltr\Erik Frokjaer\Turing Award nomination\Peter Naur
0320W88 Ltr\Albert Tucker\Oral-oral-history project on princeton math
community of 1940's.
0320W88 Nomination of Fernando Corbato for Turing award from MIT
0320W88 E-mail on nonmonotonic workshop from Michael Reinfrank\13 Feb 88
0320W88 Proposal\JMC\Common Prototyping Language
0320W88 Paper\ECRL-98434\Lowell Wood\Concerning advanced architectures for
strategic defense
0320W88 Paper\Nicholas S. Flann et al\AI Architectures\Forward chaining logic
programming with the ATMS
0320W88 Ltr\Stanford Alumni Assn\Dec 4 1987\Book review - Before it's too
late: A scientist's case for nuclear energy
0320W88 Ltr\Keith Devlin\Apr 4, 1988\Draft version of Logic and information
volume 1, Situation Theory
0513S88 Miscellaneous from Center for Democracy
0513S88 Board of Directors of MAD\re: Brattle\4-19-88
0513S88 Electronic Information Report\re: MAD, Brattle)
0513S88 Letter from Joe Euclid\4-18-88\re: crackpot)
0513S88 Paper\JMC\26 apr 88\Artificial Intelligence, logic, databases and
communication
0513S88 Correspondence on 2nd Conference on Theoretical Aspects of Reasoning
about Knowledge\Asilomar\Mar 7-9, 1988
0513S88 Memo from R.L. Byer\Feb 19, 88\Background material for Feb 23rd Luncheon
0513S88 TIAA letter requested credits be changed from Texas account to Stanford
account numbers
0513S88 Correspondence on Collier's article on AI
0513S88 Letter from SPO regarding the functional review and reorganization.\
Vol. 1, No. 1\11,87
0513S88 Draft ISTO 5-Year Plan\JTS, January 1988
0513S88 Paper\Hubert L. Dreyfus\Jan 78\Preface to Revised Edition
0514S88 Paper\Paul A. David and Julie Ann Bunn\The economics of gateway technologies
and network evolution: Lessons from electricity supply history\Center
for economic policy research\Stanford\September 1987
0514S88 Research Report CS-87-54\October 1987\Univ. of Waterloo, Canada
Defaults and conjectures: hypothetical reasoning for explanation and
prediction\D.L. Poole
0514S88 Research Report CS-87-59\October 1987\Univ. of Waterloo, Canada
A logical framework for default reasoning\D.L. Poole
0514S88 Paper\D.L. Poole\Univ. of Waterloo\October, 1987\A theorist to prolog
compiler
0514S88 NSF Directorate for computer and information science and engineering
Fiscal year 1986\Summary of Awards
0514S88 Paper\Tong Gao Tang\Carnegie-Mellon\Programming in temporal
nonmonotonic reasoning
0514S88 Travel Report from JPL, No. 14327\May 9, 1988
0514S88 Letter\May 14, 1988\J-J Servan-Schreiber\Carnegie-Mellon
0514S88 Resume of Mario Luis Moreira Veloso sent by Luis Moniz Pereira\
May 6, 1988
0514S88 Paper\Mar 21, 1988\Fangzhen Lin\A rule-based logic for commonsense
reasoning
0514S88 Paper\Wolfram Buttner et al\Symbolic Constraint Handling through
unification in finite algebras\Siemens AG
0514S88 Computer science program at Technical University of Munich
0514S88 USSR Academy of pedagogical sciences
0515S88 Institute of cybernetics of the academy, Tallinn, 1985
0514S88 Bellin thesis proposal\mechanizing proof theory: computer aided
formalization and unwinding of proofs
0514S88 List of people at meeting May 16, 1988 in USSR Academy of pedagogical
sciences
0514S88 Information for American Participants in Activities in the USSR
IREX
0514S88 Letter from Gian-Carlo Rota requesting info on nonmonotonic reasoning\
May 8, 1988
0524S88 Module 1\Andrew\The Andrew System\Prepared by Sandra J. Bond\IBM\Jan 1986
0524S88 Module 2\Andrew\Document preparation\Prepared by Margot
Critchfield\January 1986\IBM
0524S88 Staff Paper\Office of Technology Assessment\US Congress\June 1987
Federal Funding for Artificial Intelligence Research and Development
0524S88 Background Paper\Office of technology assessment\US Congress
Science Technology and the Constitution
0524S88 Report\John C. Hogge\Univ. of Illinois\Sept 1987\Time and Tplan
Users Manual
0524S88 Report\John C. Hogge\Univ. of Illinois\Sept 1987\Tplan: A temporal
interval-based planner with novel extensions
0524S88 Report\John C. Hogge\Univ. of Illinois\Sept. 1987\The compilation of
planning operators from qualitative process theory models
0525S88 Report\E. Feigenbaum et al\Applications of Computer Science
0525S88 Report\D. McDermott\AI is a Science
0525S88 Report\F. Baskett\Computer Systems
0525S88 Report\C.A.R. Hoare\Computer Languages and their Implementation
0525S88 Report\Stephen Cook et al\Foundations
0525S88 Paper\Donald Perlis\Languages with self-reference II: knowledge,
belief, and modality
0525S88 Paper\Donald Perlis\Autocircumscription
0525S88 Paper\J. J. Elgot-Drapkin and Donald Perlis\Reasoning Situated in Teim
0525S88 Curriculum Vitae\Donald Perlis\July 1987
0525S88 Paper\Teodor Przymusinski\On the declarative and procedural semantics of
logic programs\T. Logic Programming (initial paper)
0525S88 Paper\John Kaplan\Criminal Justice: Introductory cases and materials
0525S88 Letter\May 1988\Dr. R. Sadananda\Invitation to conference in Kathmandu
next March 1989
0525S88 Curriculum Vitae\Stanislaw J. Matwin
0526S88 Research Report\9-85\D.V. and G.V. Chudnovsky\On expansion of algebraic
functions in power and piuseux series
0526S88 Research Report\7-86\D.V. and G.V. Chudnovsky\Computer assisted number
theory with applications
0526S88 Curriculum vitaes of D.V. and G.V. Chudnovsky
0526S88 Paper\Advances in Applied Mathematics 7,385-434\Sequences of numbers
generated by addition in formal groups and new primality and factorization
tests\D.V. and G.V. Chudnovsky
0526S88 Paper\Journal of Complexity 2, 271-294 (1986)\On expansion of algebraic
functions in power and puiseux series, i*\D.V. and G.V. Chudnovsky
0526S88 Paper\I.A. Akchurin\1977\The methodology of physics and topology
0526S88 Paper\1987\D.V. and G.V. Chudnovsky\Algebraic complexities and algebraic
curves over finite fields
0526S88 Research Report\3-83\D.V. and G.V. Chudnovsky\The wronskian formalism
for linear differential equations. The effectivization of Roth's and
Schmidt's theorem
Summer 1988
0622E88 Letter drom David Kuck requesting evaluation of Michael Farmwald
0622E88 Letters from R. Thomas, Laboratory of Languages with enclosures,
Turning the teaching of foreign pronunciations into a computer product
0622E88 Paper - Benchmark Problems for Formal Nonmonotonic Reasining - 6-8-88
Version 1.01
0622E88 Paper - Brian A. Haugh, Martin Marietta Labs, Tractable Theories of
Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics
0622E88 Paper - Jaako Hintikka - Model Minimization - An Alternative to
Circumscription
0622E88 MIT Press Royalty Statement
0622E88 cc of letters from Suppes to Gerasimova and Smirnov to spend 2 weeks
at Stanford.
0622E88 Paper - Krzystof R. Apt - Management of Stratified Databases
0622E88 Paper - Donald Perlis - Autocircumscription
0622E88 Tech Report - Univ of Maryland - Jennifer J. Elgot-Drapkin - Reasoning
Situated in Time I; Basic Concepts
0622E88 Letter from David Steele requesting a foreword for his book
0622E88 Letter from Jean-Marc Pugin - BULL - concerning incremental model
management of Stratified Databases
0622E88 Letter from Suppes to Pat Graham - draft of the protocol proposals
0622E88 Letter from Stephen R. Graubard - Secretary of Education
0622E88 Letter from Tom Mellers Request for Permission to Reprint
Some Expert Systems Need Common Sense
0623E88 Information on 6-13/6-17 88 X3J13 meeting in Boston
0710E88 TTAC Advisory Committee of JPL
0712E88 Paper - Armand de Callatay - An Implementation of Logic Resolution in
Neural Networks
0712E88 Paper - Minskys The Society of Mind and Callatays Natural and
Artificial Intelligence under one title - Compared Terminologies
0712E88 Handwritten by JMC - The bad ideas of Servan-Schreiber
0712E88 Paper - David R. Throop + The 15-Puzzle Solver
0712E88 Paper - A. Rabinov - On Ramifications, Qualifications and Domain
Constraints in Formal Theories of Action
0712E88 Paper - Whitfield Diffie - The First Ten Years of Public Key Cryptography
0712E88 JTECH - Panel Report on Advanced Computing in Japan - December 1987
0712E88 Paper - G. J. Sussman, J. Wisdom, April 1988 - Numerical Evidence that the
Motion of Pluto is Chaotic
0712E88 Letter - April 21, 1988, Michael Dertouzos - (Re: Oct 26-27 meeting)
The Lab for Computer Science celebration of its 25th birthday at MIT.
0712E88 Paper - NRC Committee to Study International Developments in Computer
Science and Technology - Transcript of Meeting Held on 3/24-25/88
0712E88 Paper - University of Linkoping - Algorithmic Debugging with
Assertions - Wlodek Drabent
0712E88 Paper - University of Linkoping - Keeping and Forcing: How to Represent
Cooperating Actions - Christer Backstrom
0712E88 Paper - University of Linkoping - Incremental Symbol Processing
Peter Fritzson
0712E88 Bull Annual Report of 1987
0714E88 Meeting Followup - NRC - Committee to Study International Developments
in Computer Science and Technology
0714E88 Paper - Joshua Lederberg - Genetic Recombination in Bacteria: A Discovery
Accunt
0714E88 NRC - Canada - Computational Intelligence - Vol 3, No. 3, Aug. 1987
(Re: resonse to McDermott)
0714E88 Moscow addresses from Kovalev
0714E88 The Samizdat Bulletin - Summer 1988
0714E88 TTAC - Telerobotics Technology Advisory Committee - Summary of
Results from Meeting No. 3 - March 14-15, 1988
0714E88 Proposal toDARPA - Advanced Research and Development in Algorithmic
and Artificial Intelligence Methods - June 1987 - Stanford
0714E88 Names and addresses - nonmonotonic conference
0714E88 Paper - Zabih and D. McAllester - A Rearrangement Search Strategy for
Determining Propositional Satisfiability
0714E88 Center for Democracy in the USSR - May 4, 1988 ( re: National article)
0714E88 Letter - April 22, 1988 - J. Nafeh - Approval of MAD Intelligent
Systems, Inc. - Brattle Research Corp. Merger
0714E88 Paper - L. Thorne McCarty - Clausal Intuitionistic Logic II. Tableau
Proof Procedures
0716E88 Draft Material - Committee to Study International Developments
in Computer Science and Technology - Memo - June 22, 1988
0718E88 Research Preprints 1 - 1987 - Mathematics - Mechanization No. 1, 1987
China 1988
0718E88 Research Preprints 2 - 1987 - Mathematics - Mechanization No. 2, 1987
China 1988
0718E88 Paper - Lin Huimin, Man-chi Pong - A Categorical Model for Multiple
Inheritance
0718E88 Paper - Proceedings of 2nd Intl Conf on Computers and Applications
Beijing, 1987.6, IEEE Computer Society Press - Paper - Wang Pei,
Hsu Cho-Chun - A Discovery-Oriented Logic Model
0718E88 Paper - C. S. Tang, An Introduction to XYZ System, June 1988
0718E88 WG2.6/WG8.1 Working Conference - The Role of Artificial Intelligence
in Databases and Information Systems, July 4-8, 1988, Guangzhou, China
0725E88 Letter - Vladimir Bukovsky - June 14, 1988 - JMC analysis of the
Soviet situation
0725E88 Paper - V. A. Smirnov - Locial Relations Between Theories - Synthese
66 1986
0725E88 Proceedings of the 87 Debrecen Symposium on Logic and Language -
author: Elena Smirnova
0725E88 Paper - Vladimir A. Smirnov - Strict Embedding of the Elementary
Ontology into the Monadic Second-Order Calculus of Predicates
Admitting the Empty Individual Domain - Studia Logica XLV1, 1
0725E88 Note from Kovalev and Osipova 1988 (in Russian)
0725E88 Measure - Number 73 - May/June 1988
0725E88 Curriculum Vitae - Ma Xiwen
0725E88 Adventures in Parallelism - No. 1 - July 1988 - A Bulletin for
Users of Argonnes ACRF
0906F88 Letter - TTAC summary of Meeting No. 3 held March 14-16, 1988
0906F88 Letter - Monica Strauss - Thank you for help in thesis study for
masters in the Japan Science and Technology Program at MIT
0906F88 Paper - Arkady Rabinov - Programming in Qlisp - A Case Study
0906F88 Articles - Takkun articles from Daniel Sternbergh
0906F88 Letter - WICS - Their check #1374 for $925.00
0906F88 Working Paper Series - Hoover Institute - Journal of Risk and Insurance,
1988 - The Value of Changes in Life Expectancy, Sherwin Rosen
0906F88 Magazine - SuperComputing (re: efficiency of supercomputing)
0906F88 Note - Terry Hatt, Planet Services, Los Gatos - Planet Services: Global
Integration Specialists (Position Statement, July 1988)
0906F88 Letter - AMC Appointment to Advisory Committee for the Russian-English
Distionary. Names and addresses of appointees enclosed
0906F88 1987 Annual Report, Computer Science, Washington State University
1003F88 Paper - Seymour Martin Lipset - Neoconservatism: Myth and Reality
1003F88 CSY Publishing, Inc - Release from publishers - Principles and Elements
of Thought Construction Artificial Intelligence and Cognitive Robotics --
Charles M. Bowling
1003F88 Paper - Seymour Martin Lipset - American Exceptionalism
1003F88 Memo from Jussi Ketonen to John Nafeh - Intelligent Electronic Data
Interchange - MAD, EDI - June 29, 1988
1003F88 Paper - Draft - Fangzhen Lin, Yoav Shoham - Argument Systems: a uniform
basis for nonmonotonic reasoning
1003F88 Paper - Luis Moniz Pereira and Miguel Calejo - A Framework for Prolog
Debugging
1003F88 Paper in Machine Intelligence 10 - E. H. Tyugu - Computational frames and
structural synthesis of programs
1003F88 Paper - Enn Tyugu - Modularity of Knowledge
1003F88 Paper - E. Tyugu - Language and Example of Knowledge based Programming
1003F88 DCLIPS User's Guide - Ma Xiwen
1004F88 Paper - Seymour Martin Lipset - Historical traditions and national
characteristics: a comparative analysis of Canada and the US
1004F88 Report - from Yuri Yarim-Agaev to Board of Directors and Advisors -
Ctr for Democracy in the USSR - Work and Activity of the CFD during the
period of July 87 to June 88
1004F88 Paper -- Y. J. Jiang - Intension, Quantified Beliefs and Epistemic
Resolution
1004F88 Paper - Wolfgang Bibel - A Deductive Solution for Plan Generation
1004F88 Paper - Seymour Martin Lipset - Vote for the Other Guy - Politics and
Unintended Consequences
1004F88 Catalog - GSB - Stanford University - 1987-88
1004F88 Papers - Demonstration at Otero
1004F88 Voluntary Disability Plan - Stanford
1004F88 Paper - Enn H. Tyugu, et al. - Nut - An Object Oriented Language
1004F88 Proposed Testimony - re: Spacewar, Space war, Gunther
1004F88 Paper - T. Ito and M. Matsui - PaiLisp and its description by
PaiLips-Kernel
1004F88 Guige - Computer and Info Science and Engr (CISE) at the NSF 1988
1004F88 Paper - Refal-5 - a new development in programming languages
1004F88 Bio Notes on Igor Makarov
1004F88 Paper - A. Gorbis - Do Not Trust Boolean Homomorphisms
1004F88 Letter - Laurence C. Rosenberg (NSF) - How to file a Freedom of Information
Act request
1004F88 Berstam references
1004F88 Paper - H. Quadflieg - From research to market application? Experience
with the German Hydrogen Fuel Project
1004F88 A.bot - Nolan Bushnell -looking for innovative engineers for auto-fast
food restaurants
1004F88 Paper - E. Tyugu - Towards Practical Synthesis of Programs
1015F88 Ltr - InterScience Publishing - join effort in promoting science
and technology worldwide
1015F88 Ltr - Thank you from WICS
1015F88 Ltr - Thank you - Nintendo - Magnavox - Howard C. Lincoln
1015F88 John S. Knight Fellowships fr Office of the President
1015F88 Ltrs (3) requesting reference for Shankar
1015F88 Handwritten problems from Michael Beeson
1015F88 Memo from Robert B. Textor (Anthropology) - Archive on the Sociocultural
Implications of High Technology
1015F88 Ltr - Center for Advanced Study in the Behavioral Sciences re: CASBS
Special Projects Workshops
1015F88 Ltr - Marshall Institute - Robert Jastrow -- Technical Analysis of the
Report on SDI issued by the House Democratic Caucus
1015F88 Ltr - Coalition for the SDI - in support of SDI from Daniel Graham
Gen (Ret)
1015F88 NAE (re: NAE Op-Ed)
1015F88 Japanese Syllabary Chart
1015F88 Ltr from Rick Hobson requesting reference for Veronica Dahl plus
assorted papers
Logic Programming as a Representation of Knowledge
Treating Coordination in Logic Grammars
Translating Spanish into Logic through Logic
Discontinuous Grammars
On Database Systems Development Through Logic
Logic Programming for Constructive Expert Database Systems
1015F88 Copyright Release Form
1015F88 Divison of Information, Robotics, and Intelligent Systems NSF Officials
1015F88 Humanist Community News - October 1988
1015F88 Ltr from Peter Bishop w/paper What Computer Science Tellls Us About
Consciousness and Free Will
1015F88 On the Proper Treatment of Connectionism - Paul Smolensky
1015F88 Paper - Mathematics and AI Today - Gian-Carlo Rota
1015F88 Coalition for the SDI - Memo for Scientific and Engr Advisory Board
September 23, 1988
1015F88 Samizdat Bulletin - Millennium of Christianity in Rus - Fall 1988
1015F88 Paper - Fernando Guzman - The implications in conditional logic
1015F88 Paper - Fernando Guzman - The algebra of conditional logic
1015F88 Paper - K. L. Clark - Predicate Logic as a Computational Formalism
1015F88 Ltr - Brian A. Haugh - class-level circumscriptive theories of
multiple defeasible inheritance
1015F88 Ltr - M. Narasimha Murthy - nonmonotonic logics (beyond circumscription)
1015F88 Memo - Nils - Reminder of University Policies Related to Outside
Business Activities
1015F88 Memo - Donald H. Berman to Developers and users of AI Applications in
the fields of Law and Taxation - subj: Annual Survey of AI
Applicaons in Law and Taxation
1015F88 Paper - Rabinov - More Collapsible Cases of Circumscription
1015F88 Ltr - Llyod Fosdick re Paul Smolensky
1015F88 FAST: A Step Toward Computerized Commerce - Danny Cohen
1015F88 Paper - Takayasu Ito and Manabu Matsui - A Parallel LISP Language
PAILISP and its kernel specificaion
1015F88 Kluwer Academic Publishers re idea of a new journal focusing on
Logics for AI
1015F88 Ltr - Luigia Carlucci Aiello Ltr of intro to Marco Schaerf wvitae
1988 November
1. letter from Arnold Spector about Alvey talk, 29 to 31 March
This is in the conference file in the secretary office
2. The Informational Revolution, Ed Fredkin, December 1985
3. Computation and Social Systems, Ed Fredkin, January 1985
4. Oct 31 statement of unrestricted account
in secretary office
5. letter requesting recommendations for Levesque and Reiter
6. human demography conference schedule
7. how to propose centennial projects
8. Government study on telecommunications in te next century
9. Gender and the Residential Telephone, vtss talk, Claude Fischer
10. SEKI report list
11. Y. J. Jiang, job letter and vita
Y. J. Jiang, An epistemic model of logic programming
Y. J. Jiang, Epistemic logic programming
12. Sept. letter assuming I'm going to Madrid symposium on
knowledge engineering
13.letter from Lord Balfour about Turing Memorial lecture Aug 31
This is in the conference file
14. Paul Smolensky, On variable binding and the representation of symbolic
structures in connectionist systems.
15. ifip 1989 Aug 28-31 announcement
16. Michael Gelfond and Halina Przymusinska, Inheritance Hierarchies and
Autoepistemic Logic
17. Halina Przymusinska, The Embeddability of hierarchic autoepistemic logic
in autoepistemic logic
18. letter from Bernstam about "Human demography and natural resources"
19. letter from Rob Kling and 4 papers including the one on
electronic funds transfer
20. Leslie Kaelbling (formerly Pack) How I spent my summer vacation
21. csd reports 1988 june
22. Measure, 1988 sept, Sidney Hook
23. F88 Engineering School Faculty report form
24. referee request from Notre Dame Journal
25. memo on vtss from David Tyack
26. letter from Plotkin and Lassez about Robinson Festschrift Oct 21
27. textbook adoption form for vtss, w89
28. Waterman award form
1988 December
1. NSF memo about salary cap
2. Ltr from Ruy J.G.B. deQueiroz, Imperial College of Sci. & Tech. with
paper (Abstract Data Types and Type History: Theories as Types)
3. Nilsson vtss talk on AI
4. Computerized Commerce from Danny Cohen
5. Ltr from Eloina Pelaez, Univ. of Edinburgh, re: parallel computing
6. Paper by Richard Stark - In History of LISP - as quoted by Richard Stark
7. Memo, W. Paulsen, Information Sciences - Project 2919 Signal - Communications
for new building
8. Paper - Michael Beeson, Logic and Computation in MATHPERT: An Expert
System for Learning Mathematics
9. Measure October 1988, includes The Real Meaning of Cultural Diversity
by Thomas Short
10. Ltr from Harry D. Huskey, Chairman, Pioneer Awards, IEEE Group Correspondence
11. vtss faculty directory 88-89
12. Paper - Carl Hewitt - Knowledge Processing Organizations Proposal
13. Ltrs of invitation to Russian scholars from P. Suppes - Names listed
in Notes[1,jmc]
14. Asahi Science Magazine with interview and pictures of me
15. Article from Insight about National Association of Scholars
16. Note from Bob (Osserman?) about ``envy''
17. Cable from Kotov about Ershov death
18. Bulletin American Academy October, Confucianism
19. Les Earnest on Can Computers Cope with Human Races?
20. Humanist Forum Announcement
21. list of Dennett reports
22. list of Russian terms for which AMS wants translations
23. receipt for canon pc-3 copier
24. Science issue on Frontiers of neuroscience
25. CSD publication list No. 36, November 1988
26. National Space Society new publication titled Ad Astra - announcement
27. 11th Intl Joint Conf on AF - 20-26 Aug 1989 - Detroit
28. Philosophical Psychology - new journal - asking for paper to be submitted to ..
29. VTSS field trips - 1st scheduled for Jan 13 to Pony Tracks Ranch
30. Letter from Ed Lowe (Kitty Litter) - his Michigan home and foundation
31. Paper - Charles P. Dolan - Implementing a connectionist production system
using tensor products
32. Paper - P. Smolensky - The constituent structure of connectionist mental
states: A reply to Fodor and Pylyshyn
33. Vitae - Paul Smolensky
34. Paper - D.E Rumelhart, P. Smolensky, J.L. McClelland, G.E. Hinton
Schemata and sequential thought processes in PDP models
35. Paper - P. Smolensky - Neural and conceptual interpretations of parallel
distributed processing models
36. Paper - C. McMillan, P. Smolensky - Analyzing a connectionist model
as a system of soft rules
37. Fax-Tone News, describes various fax products
38. National Security Record, Heritage Foundation, Making the National
Security Council Work.
40. Paper - James Martin - A Computational Theory of Metaphor
41. Ltr - Stephen Riter - Nomination of M. Gelfond for award for
distinguished contributions in research.
1989 January
1. Paper, Andreas Blass, Yuri Gurevich, On Matijasevitch's Nontraditional
Approach to Search Problems
2. Network Connections Expense Allocation to workstations, Dec. 20, 1988, csd-cf
3. 1989 AAAS Annual Meeting, SFran 14-19 January
4. DARPA, 1988 Principal Investigators' Meeting, Dallas/Fort Worth, 11/14-18/88
5. letter from Marjory Blumenthal about Global Trends in Computer Technology
and their Impact on Export Control
6. Global Trends in Computer Technology and their Impact on Export Control -
National Research Council committee, Sy Goodman, chairman
7. Pimenov, R. I. (mathemtician dissident)
- How I see the problems facing Russia (Russian)
8. The 1986 Act: Tax Reform's finest hour. Charles McLure (Hoover)
9. Living with a Sick Bear. - Henry S. Rowen, (Hoover)
10. Access to Energy - 1988 Dec
11. Note from Juzer Mogri
12. Air Force research opportunities Epistemic Planning for Management
and Manufacturing
13. note from Annelise Anderson, 1988 dec 15, Your "Terms for Soviet Access
to Western Computer Technology"
14. Singular extensions: Adding selectivity to brute-force searching
- Thomas Anantharanan, Murray Campbell, Feng-hsiung Hsu, from AAAI ?
15. Stanford facts - 1983
16. Notes for new secretary (old)
17. GSB directory 1987-88, graduate school of business
18. How to use on-line OAG, official airline guide
19. Letter from Gregory Canavan at Los Alamos to Robert Jastrow about
a suggestion for detecting decoys (re: SDI)
om Notices of AMS, reviews of Mathematica, Kyoto prize
20. Program for AAAS meeting 1989 jan 14-19
21. Logic Programming Schemes - Keith Clark
22. Symbolic Systems - Reid Hoffman
23. 1988 oct 6 letter from Petr Beckmann
24. AAAI Spring Symposium, Mar 28-30
25. Proposed extensions to common lisp for international character sets
26. July 1988 cacm with articles on hypertext
27. Lenat announcement of CYC presentations
28. Mints letter with review of Genesereth and Nilsson
29. Annual report Asian Institute of Informatics (Shankar father)
30. ANSI Invoice Standard (re: EDI, CBCL)
31. Paper - Hoover - Martin Anderson - An Insurance Missile Defense
32. Paper - Hoover - A. Anderson - Illegal Aliens and Employer Sanctions...
33. Paper - Hoover - Brian Latell - Mexico at the Crossroads
34. Paper - Hoover - Roger Freeman - Does America Neglect its Poor
35. Paper - M. Gelfond, Lifschitz - Compiling Circumscriptive Theories into
Logic Programs
36. Paper - M. Gelfond - On the relationship between CWA, minimal model and
minimal herbrand model semantics
37. Paper - M. Gelfond - Autoepistemic logic and formalization of commonsense
reasoning preliminary report
38. Paper - M. Gelfond - On stratified autoepistemic theories
39. Paper - M. Gelfond - A theory of concurrent actions: preliminary report
40. Paper - M. Gelfond, H. Przymusinska - Inheritance hierarchies and
autoepistemic logic
41. CV - M. Gelfond
42. Paper - Edward Fredkin - An informational process based on reversible
universal cellular automate
43. Paper - Amy Felty, Dale Miller - Specifying theorem provers in a higher
order logic programming language
44. Paper - Amy Felty, Dale Miller - Proof explanation and revision
45. Paper - Gopalan Nadathur, Dale Miller - An overview of lambda prolog
46. MCC TR No. ACA-AI-302-88 - Doug Lenat, The Cycl Representation Language
47. MCC TR No. ACA-AI-303-88 - R. V. Guha - CycLing: Inferencing in Cyc
48. MCC TR No. ACA-AI-300-88 - Doug Lenat - The World According to CYC
49. Paper - Yasuhiro Katagiri - Point of view in situation semantics
50. Paper - Erik Sandewall - An approach to nonmonotonic entailment
51. Paper - Erik Sandewall - Temporal reasoning by entailment over minimal
partial interpretations
52. Paper - Yoram Moses -- Belief as defeasable knowledge
53. Ltr - Teodor Przymusinski requesting JMC name be on a list of referees
for recommendation.- CV attached
54. moved
55. Carl Hewitt, Organizational Knowledge Processing
56. The Program Managers Support System (PMSS) (re: Schutt)
57. CSDI - Memo for Scientific and Engineering Advisory Board - 1-6-89
58. discarded: Project Ramus final report about IBM equipment grant
59. Beckmann flier on musical theme recognition and playing program
60. Dartmouth review spoof of Freedman
61. Kling, Rob - Social Analyses of Computing: Theoretical Perspectives
in recent empirical research. (re: negative)
62. Actual Freedman speech, Dartmouth
63. Paper - Kurt Konolige - On the relation between autoepistemic logic and
circumscription - prelim
64. Paper - Jerry A. Fodor - The mind-body problem
65. Ltr - M. van Emden - re: study leave - paper entitled Project 4.5
66. Memo fr. Robert B. Textor re Reading for Forum Meeting on Jan 23, 1989
Technology, Development, and Proactivity in Thailand - Chapter 2
67. Same as above except it contains Contents, Chapter 3 and 3, Robert Textor
68. Ltr - Eric A. Weiss - JMC review of Herbert Stoyan's work on history
of the LISP programming language. Jan 21, 89
69. Memo - Jan 6, 89 - New NSF Grant General Conditions
70. Paper - DEC - DECstation 3100 Technical Overview
71. Paper - Elwyn Berlekamp -- Go Problem 1: White has 11 black captives.....
72. Minutes of Business Session of Natl Acad of Engr, 9-29-88
February 1989
1. Paper - John Allen and David Luckham - An Interactive Theorem-Proving
Program
2. Excerpt from Mathematica: A System for Doing Mathematics by Computer
by Stephen Wolfram (A Tour of Mathematica)
3. Memo fr Asst Sec of Defense - Electronic Data Interchange in DoD
Logistics
4. Carolyn proposal on programming with higher order abstractions
5. How to use newsgroups, various authors
6. University of Michigan harassment guidlines, blacklist
extra copies
7. fax from Arnold Spector, alvey workshop, sunderland, deep knowledge
8. Stephen Bryen on the dangers of scientific exchanges (from Heritage
Foundation National Security Record, Nov 88
9. Lifschitz letter recommending Rabinov
10. Rabinov resume
11. Invitation to AI conference at Bar-Ilan University, Israel
12. DARPA Information Science and Technology (ISTO) research support
13. Memo - JMC - Appointment of Harlan Sexton
14. Ltr - Grigory Shvarts to Suppes on invitation to visit Stanford in 89.
15. Paper - The American Naturalist - H. Ronald Pulliam - Sources, Sinks,
and Population Regulation
16. 1st Intl conference on principles of knowledge representation and
reasoning, Toronto, May 15-18, 89
17. Paper - Vladimir - In Defense of Tweety
18. Ltr - Derek Middleton - jmc views on proposed new journal "Computational
Cognitive Science"
19. CYC Workshop schedule
20. Ltr - Harrison Wang, schedule of CIE/USA 10th Annual Winter Conference
21. Paper - Science - A Safer Breed of Reactor in Sight
22. Samizdat Bulletin - Winter 88
23. Ltr - TEPIA, Japan, Lecture production of the AI field - M. Higaki
24. DARPA - draft of Broad Agency Announcement for New Language in Rapid
Construction of Software Prototypes
25. Stanford Stats - Vol. 6
26. Ltr - Call for papers - National Center for Expert Systems, Nov 23-25, 89 in
India
27. Paper - Sylvia Yanagisako - The changing gender politics of italian
family firms
28. VTSS - Feb 8, 89, Next presentation
29. Paper - Yoav Shoham - Belief as Defeasible Knowledge
30. Paper - Yoav Shoham - Time for Action: On the Relation between Time,
Knowledge, and Action
31. Paper - Fangzhen Lin and Yoav Shoham - Argument Systems: a uniform basis
for nonmonotonic reasoning
32. Ltr - Yoav Shoham reference to papers numbered 29, 30, and 31.
33-34 Ltr - Mark Richmond - authority for appointment to a chair in AI - asking
for possible candidates they might consider, university of
35. Ltr - Ric Oberlink - 6 Feb 89 - re: rec.humor.funny
36. Resume - Ronald Louis Kauffman
37. Panel discussion on is the soviet union the japan of the 1990s
38. Preliminary class list, VTSS, Winter 89
39. Stanford Science Serial Costs
40. 1989 first round ph.d admissions
41. Ltr - NSF - guidelines for an education supplement program
42. Paper - Veronica Dahl and Pierre Massicotte - Meta-programming for
discontinuous grammars
43. Paper - Veronica Dahl - Discontinuous grammars0
44. Workshop - 1st international on Human and Machine Cognition - Fla -
May 11-13, 1989
45. Paper - AI - Research Note "On the Satisfiability of Circumscription" -
V. Lifschitz
46. schedule of philosophy colloquia
47. Paper - Jon L. White - The Loop Facility
48. Letter - Robert Whitten - 2-19-89 - re: computer jokes
49. Newspapers articles re: rec.humor.funny
50. misc. su-etc, re: rec.humor.funny, rhf
51. New York Times (Business Day) A Battle to Make Software Free - re: Stallman
52. Knowledge Index - How to get into the library at 3 am - R. Lasher
53. Ltr - Solomon Feferman to Yu Matiyasevitch re: invitation to visit US
54. Ltr - Asking for contributions to Connectionism and the Philosophy of Mind
from Terry Horgan, Memphis State U. - Feb 22, 89
55. Article from Business Day of NY Times, Equations Patented; Some see a Danger
56. Ltr from Everett P. Buchan - crank
57. Paper - Review by Edward Zalta
58. Paper - Hector J. Levesque - All I Know: A Study in Autoepistemic Logic
59. Paper - Hector J. Levesque - Logic and the Complexity of Reasoning
60. Paper - Luis Monteiro, A. Porto, Universidade Nova De Lisboa - Contextual
Logic Programming
1989 March
1. Invitation to Moscow from Styopin
2. American Heritage of Invention and Technology W89, see americ.2[let,jmc]
3. Request for review of U.S. Israel proposal, Mar 1
4. 1987 Aug 8 list of dumped disk files
5. Fogelin examples of Gettier problems
6. Science 1989 Feb 17, SAT controversy
7. Prospectus - Journal of experimental and theoretical artificial intelligence
JETAI
8. Gorbis and Templeman - Averaging of almost periodic functions and
finite unitary representations of free groups
9. Ltr Mike Levin with invite to Gensym conf. 1989 April 23-25
10. MAD legal letter to Ketonen
11. cfr leaflet against "accepted community standards"
12. Ltr from Boas, AMS, re: russian-english dictionary
13. NAS report, article on Goodman report
14. Malin Falkenmark, Water scarcity much more than droughts, Bernstam
conference on Human Demography and Natural Resources
15. Fred Singer paper, The Future of Resources, for Bernstam conference
16. Ronald Lee, Longrun Global Population Forecasts: A Critical Appraisal
for Bernstam conference
17. Cable from Styopin confirming invitation to Moscow
18. CV - Hector Geffner
19. Letter of request for Shankar from U of CA, Berkeley
20. Letter from M. Kawahata about invitation to Tokyo for HARP Exhibit
Jul 89
21. CS323 paper from Sohie Lee
22. Paper on Area One Requirement (CIV) from Charles Junkerman
23. Memo - Jim Gibbons - Salary Curves
24. Ltr - American Heritage
25. NAE Nomination for Membership 27 election - spring 1990
26. Ltr fr DoD - H.J. Schutt - name and address of Cambridge Group -
CEO is John Donovan
27. Paper - Gerhard Jager - Proofs as advanced and powerful tools
28. CV - Lindley Darden
29. Paper - Lindley Darden - Viewing the history of science as compiled hindsight
30. Paper - Lindley Darden - Diagnosing and fixing faults in theories
31. Paper - Dale Moberg, John Josephson - Implementation note on diagnosing and
fixing faults in theories
32. Paper - John F. Sowa - Knowledge representation in databases, expert
systems, and natural language
33. IBM research report - Ronald Fagin, J. Halpern - Uncertainty, belief and
probability
34. IBM research report - ronald fagin, j. halpern, n. megiddo - A logic
for reasoning about probabilities
35. Nintendo v. magnavox report from mudge rose guthrie alexander and ferdon
36. Ltr - Cheng Hu, Sinica requesting visiting scholar appt
37. Paper - Ilan vardi - running time of TAK: the lower bound
38. Paper - ECON Inc - Klaus Heiss - Bee-KKVs: stingers, swarms and hives
39. Paper - Jorg Siekmann - Unification theory
40. Viewgraphs - (author: donald michie)
41. Thinking allowed productions, permission form and royalty agreement
42. Paper - Joe Euclid (re: crackpot)
43. Letter - Jean-Louis Lassez - Journal of Logic Programming - List of
forthcoming papers in journal
1989 April
1. March 89 National Security Record
2. Kluwer Academic Publishers letter Apr 1, 89 asking about a new
journal - answered stone.tex[let,jmc
3. Ltr fr harry Deutsch thanking for paper on first order theories...
4. Inference - Bd of Directors meeting - apr 89
5. Memo fr Tom Wasow ( Deans Innovation Fund
6. VTSS Newsletter april 89
7. Paper - Luis Pereira - A framework for prolog debugging
8. Paper - Luis Pereira - Concurrency and communication in delta prolog
9. Paper - Luis Pereira - Concurrency and communication in delta prolog
10. Paper - Jose C. Cunha - Interfacing prolog to the operating system
environment: mechanisms for concurrency and parallelism control
11. Paper - version 1.0 - Luis Pereira - Delta-prolog users manual
12. Resume of the Logic Programming and AI group of the University
Nova de Lisboa, Portugal
13. Paper - Y. J. Jiang - Intension, quantified beliefs and epistemic
resolution
14. Department of AI research brochure - U of Edinburgh
15. Paper - J. L. Lassez - Simplification and Elimination of redundant
linear arithmetic constraints
16. DEC issues and sections of standard - section 1.8
17. Coalition for SDI - March 15, 89 Memo
18. Soviet Campaign Platforms
19. NAS election letter from peter raven
20. Telegram fr S. Winograd
21. Memo from Knuth, re: Math Monthly problem
22. Ltr to William Aspray, Babbage Institute, re: interview
1989 May
1. Resume - Oren J. Tversky
2. Ltr - Brian Randell - Computing Lab, U of Newcastle upon Tyne - re
Chair in Pure Mathematics
3. Ltr - MIT - A. Rich - Congratulations NAS
4. Ltr - AT&T - J. Flanagan - Congratulations NAS
5. clip, San Jose Mercury News 1989 May 7, F1, Electronic mail
6. clip, NYT May 5, At Stanford, Leftists become censors, Lee Dembart
7. clip, Washington Post, Mar 12, Soviet's new technologies
8. clip, NYT, 1987 Mar 1, Hook on euthanasia
9. clip, NYT, May 2, wilding, rape, power shift to teenagers from drug trade
10. clip, NYT, April 30, interview with Nikolai P. Shmelyov
11. clip L.A. Times, April 19, negative on cold fusion, Ehrlich
Rifkin, Holdren, Richard Charter, Laura Nader, Commoner
anti-technology
12. clip, Sotsialisticheskaya Industriya, 1989 feb 12, There's a limit
to everything, attack on Grigoryants, Timofeyev, Senderov
13. clip, NYT Mar 6, free speech issues on campuses
14. clip nyt, Don't sell high tech to Moscow, Stephen D. Bryen
15. nyt mar 18, Drastic steps to reduce air pollution
16. New Criterion, May 1989, The year that changed everything: 1968
by David gress, radicalism in Europe and the U.S.
17. Ltr - Shigeru Igarashi - requesting invitation to US from 8-26 through
9-1. (Igaras.1[let,jmc]
18. clip, Stanford Daily, anti-war activists of 60s reunion
19. NAS constitution and bylaws, 1988
20. Ltr - P. Siegelman - Soros foundation
21. Ltr - P. Siegelman - Soros foundation
22. CSD-CF redesign plans
23. Paper - Miklos Ajtai - Datalog vs. first-order logic
24. Arbatov election material
25. Shmelyov election material + NYT 1989 April 30 interview
26. Sagdeyev election material (Sagdeev)
27. Invitation form for visit from Soviet Union, re Rodman, Natasha
28. National Association of Scholars brochure
29. nyt Simes, even if Gorbachev falls, detente will last
30. nyt Call it Amnesia International, William Ratliff, Hoover
31. Stanford Daily, March 15, Lyman opposes SCLC
32. M.I.T. Pension Assoc. (retirement) 1988 dec 31 statement $25,541
33. from small notebook
34. papers on First Amendment at Stanford (cfar)
35. referee's report turning down Gelfond and Lifschitz (VAL)
36. Notes on Juilland dinner with names
37. NYT march 12, on email, electronic mail
38. ltr Anthony Siegman, clipping WSJ article Tom Sowell
39. Dissertation - Joe Weening
40. National Security Record, January/February 1989
41. Ltr - Elwyn Berlekamp to Robert Fogelin re: game black hole
42. Proposal - Joint US-Japanese Collaboration on Research in New
Foundations of Computer Science, May 1989
43. Ltr - NSF -announcement for FY 89 CISE Institutional Infrastructure
competition
44. Paper - S.E. Goodman - US Computer export control policies: value conflicts
and policy choices
45. Meeting - Committee to study international development in CS and
technology, March 25, 1988
46. Paper - Judith Thornton - Trade, export controls and information technologies
47. DARPA Research programs, Jan 89
48. Winter 89 thesis progress report - Leslie Kaelbling
49. Paper - supersedes towards constructive induction in first-order predicate
calculus, section 1 - S. Muggleton
50. Paper - Stephen Muggleton - A strategy for constructing new predicates in
first order logic
51. Paper from proceedings of the 5th Intl Conf on Machine Learning - Machine
Invention of First-order predicates by inverting resolution
52. Pamphlet - World Affairs Report - Calif Institute of Intl studies
53. Ltr - John Clippinger - re: MAD
54. Paper - Journal of Automated Reasoning - V. Lifschitz - What is the
Inverse Method
55. News Release - Take over of Kennedy office May 15, 89
56. Paper - Dimitry Chereshkin - Information Technology and the Restructuring
of Soviet Society
57. Paper - Eyal Mozes - A deductive database based on Aristotelian logic
58. NSF program announcement for joint nsf-darpa research
59. Measure - Number 76 - Nov/Dec 1988
60. Ltr - Robin Hanson - re: Idea Futures encouraging an honest consensus
61. Ltr - Rhea Tombropoulos re: working at Stanford summer 89
62. Ltr - Herbert Simon - NAS congratulations
63. Ltrs - NAS congratulatins from several people
64. Ltr - Shigeru Igarashi - re: invitation to visit formal reasoning gp
65. San Francisco/Moscow Teleport - fax availability
66. Paper - Peter Kugel - Godels theorem and cognitive science
1989 June
1. Panam free ticket certificate
2. ltr from Stewart Gillmor, Wesleyan University
3. Proposals for nomination - NAS, Section 32
4. Ltr - Herbert E. Scarf - Nomination of Martin Shubik for NAS
5. Ltr - Lamalie Asso - head hunters - dean - Wash Univ in St Louis
6. Royalty statement, 3-31-89
7. Draft - Making computer chess more scientific
8. Congratulations - NAS - Ed David
9. Memo - T. Shortliffe, Courtesy appt for Mark A. Musen
10. Memo - Y Sloan - Faculty Mtg info on Ketonen
11. University Micronews fr Michael Scriven , Edgepress
12. Proposal evaluation - Non-montonicity scope and ignorance by don perlis
13. Foresight institute conference at Stanford, 10/27-29
14. Ltr - Chas. Babbage - June 5, 89
15. American Heritage of Invention and Technology, Spring/Summer 1989
contains my letter about takeover of technology museums, AMERIC.2[LET,JMC]
16. Paper - V. Lifschitz - The mathematics of nonmonotonic reasoning
17. Paper - The Misuse of environmental science - draft - S. Fred Singer
18. Razing Cane Vol 1 No 1
19. Stanford Commentary, Issue 13, Spring 89
20. Paper - P. Rudnicki - Mizar-Mse Primer and User Guide - U of Alberta
21. Chinese biographies, nyt, may 22
22. Elsaesser (from Livermore) lecture on CO2
23. Ltr - Eric A. Weiss - blast of Tenner
24. Ltr - Heritage Foundation - Steven Mosher
25. Logic at Botic 89 - Seminar on logical foundations of CS - Pereslavl-Zalessky
26. Article - Foreign Trade - Know the ropes in soviet deals
27. Paper - Sarit Kraus - U of Md - Names and non-monotonicity
28. Ltr - Susan Hadden - U of Tx - Conduct study of the political and economic
ramifications of nanotechnology
29. Proposal from Marilyn Davis - Experiments in Electronic Democracy on the Econet
30. ANSI X3 J13 - IBM - San Jose - Feb 22, 89 - common lisp - intl characters
31. Memo - NRC - Impact of global trends report
32. Paper - Andrew Baker and M. Ginsberg - Some problems in temporal reasoning
33. Ltr - IFIP - Meersman
34. Paper - A. Rabinov - A generalization of collapsible cases of circumscription
35. Article - Insight - May 15, 89 - Critics want to seal the lid on a
congressional cookie jar
36. Symbolic system program - an interdisciplinary major
37. Paper - Nicolas Helft, K. Inoue - ICOT Research Center - A note on proof
procedures for nonmonotonic reasoning systems
38. CIV material - autumn quarter common reading list 88-89
39. CS323 homework - solutions and comments - Alex Bernstein
40. Paper - A. Rabinov - First order theories of quantification
41. Canton Lecture
42. VTSS student papers
43. Does scientific progress come from projects or people
44. NASA - November 88 - David Stern - A brief history of magnetospheric physics
before the spaceflight era
45. Meeting on AI funding crisis
46. Paper - U of Pa - John Hannan, D. Miller - Uses of higher-order unification
for implementing program transformers
47. Memo from Gibbons, Offset Reductions
48. Ltr - Michael Fallon
49. Ltr - Sec of Trans - S. Fred Singer
50. Ltr - Glynn Custred - NAS - May 25, 89 - Rpt of mtg held in Berkeley
on May 2, 1989
51. Ltr from David Levy - Intl Computer Chess Asso. - invitation to
1st computer olympiad in London on computer chess
1989 July
1. Measure, April-May, responses to university poll on quotas.
2. Campus Rpt - Technology made debate on jokes moot, Kennedy says
3. Paper - L. Thorne McCarty - Computing with prototypes (preliminary)
4. Paper - Daniel Lehmann et al - Rational logics and their models
5. Ltr - Charles M. Pigott - Congratulations NAS
6. Paper - John Colvis - The quantum philosophy of science and mathematics
7. Ltr - Ephraim Nissan - diffusion of aramaic
8. Paper - Sarit Kraus et al - Preferential models and cumulative logic
9. List of participants - Bar-Ilan Symposium
10. Ltr -M. Golumbic - Bar-Ilan
11. Ltr fr JMC to Hans Mark
12. Course Evaluation - Winter 88-89
13. Conference - Philosophy and Logic - Christchurch, New Zealand - 8-89
14. List of Attendees at 89 DARPA meeting
15. Invitation to attend workshop on Logic from CS at MSRI - 11/13-17/89
16 Ltr - Albert Gluckman - IAKE - paper - a survey of symbolic logic
17. Ltr - Derek Partridge - Cambridge Univ. Press - Proofs
18. 5th Generation computer project - Experimental system for discourse
understanding
19. 5th Generation computer project - parallel software development system
20. Referee reports from Behavioral and Brain Sciences.
21. Ltr from U. of Manchester re: Lifschitz
22. Ltr - NSF - re: electronic submission of proposals
23. nyt Hook obituary, July 14
24. Formal methods in computing (Cliff Jones) vol. 1. no. 1
25. SOE Faculty at Kyoto campus
26. Manchester letter to Lifschitz about what goes with professorship
27. 1989-90 Lively arts program, NOTES[1,JMC]/2P/3105L
28. Levinson proposal, Pattern formation, associative recall, search (re: chess)
29. Shoham, Time for Action,
30. Ltr fr Neil Jones asking for aid in making academic quality of 1990 CAAP-ESOP
Conference.
31. Ltr - David Gries - Nomination of Robin Milner for Turing award
32. Ltr - S. Feferman - Visit of Yuri Matyasevich
33. Natural Kinds and Biological Taxa, John Dupre, IDEAS[1,JMC]/2P/609L
34. Paper - Jun Arima - A connotative treatment of circumscription
35. Department letter from Nils - Jul 19, 1989
36. Workshop - 2nd workshop on the synthesis and simulation of living systems
Artificial Life II re: dec1, feb 5-9
37. High Frontier, July 1989
38. Paper - SRI - C. Raymond Perrault, An application of default logic
to speech act theory
39. Resume of Charles Ortiz
AUGUST 1989
1. Paper - C. Pinto-Ferreira, J. Martins, Inscription - a rule of conjecture
Ltr response 8-3-89 pinto.1[let,jmc] re: nonmonotonic
2. Ltr from Moschovakis about Workshop on Logic from Computer Science
3. Annual Report - 88 - Ctr for Democracy in USSR
4. Conference material of Ctr for Democracy in USSR - May 6--12, 1989
5. Address list - Washington Institute for Values in Public Policy
6. Article - Gina Kolata - Mathematicians meet computerized ideas
7. Inference - AAAI 1st annual conference on innovative applications of AI
and related papers
8. Paper - Robert Nuller - Boston U. - MetaLISP a representation independent
dialect of LISP with reduction semantics
9. Thesis - Marty Ross - Chap 1, Minimal stable and area-minimizing surfaces
10. Measure, No. 80, June/July 1989 re: Hook, Tenure
11. Ltr - Phil & Harriet Gardner re: M. V. Donskoy
12. Distribution of research property income - Stanford computer science
video journal advanced artificial intelligence research lectures: Some
expert systems need common sense
13. Ltr - D. Michie - An Experiment in Cooperation
14. Agreement with Hoover - essays in public policy
15. Board of directors - inference - august 89
16. Paper - Jan Komorowski - Synthesis of programs in the framework of
partial deduction
17. Ltr - from j. namias to frederick seitz, george marshall institute
re: greenhouse effect
18. Ltr - James J. Frelk - greenhouse effect
19. Report - University of Illinois - Douglas Robert-Graham White QATT:
A natural language interface for QPE
20. Coalition for SDI memo for scientific and engineering advisory board
21. Ltr - David Steele - on his book Golden Common LISP
SEPTEMBER 1989
1. Ltr - Sierra Club response to JMC letter
2. Ltr - D. Kennedy - Professional journalists on campus 1989-90
3. Paper - M. Gelfond, V. Lifschitz - Logic Programs with Classical Negation
4. Ltr from Louis Lerman
5. Working Notes - IJCAI Workshop - Detroit, MI, Aug 22, 1989
6. Inference Corp. Bd of Dir Mtg, etc.
7. Paper - draft - The SSX spaceship, experimental - Maxwell Hunter
8. Paper - Maxwell Hunter - A spaceship plan
9. Paper - Maxwell Hunter - The SSX designing for flight safety
10. Paper - Thomas Jacobs - The XView Toolkit An architectural overview
11. Paper - Robin Schaufler - XII/News design overview
12. Paper - Sun's XII/News
13. Paper - Arcot Rajasekar, J. Minker - On stratified disjunctive programs
14. Paper - Arcot Rajasekar, Jorge Lobo - Weak generalized closed world assumption
15. Paper - Arcot Rajasekar, J. Minker - Procedural interpretation of non-horn
logic programs
16. Paper - Jorge Lobo, J. Minker - A metainterpreter to semantically optimize
queries in deductive databases
17. Paper - Jorge Lobo, J. Minker, A. Rajasekar - Weak completion theory for
non-horn programs
18. Paper - Jack Minker, A. Rajasekar - A fixpoint semantics for non-horn logic
programs
19. Ltr - Dept of Cellular and developmental biology, Harvard (re: Natl Acad of
Sciences) (re: Lang vs. Huntington)
20. Fax from Kenneth Owen
21. Ltr - NAS -Search committee for foreign associates - M. Bartlett,
S. Varadhan, B. Sendov
22. Ltr - Academic Service - Permission to publish in a book, Epistemological
Problems of AI, 5th IJCAI, 1977.
23. The Stanford Library (Cultures, Ideas and Values) from the New Republic,
October 2, 1989
OCTOBER 1989
1 NAE 25 October 89 - Engineering and human welfare
2. NAE 89 Program report fiscal year 88
3. Paper - G. Shultz - On sovereignty
4. Paper - John Foster - Government service: developing a climate for change
5. Paper - Robert White - Technology and the interdependence of nations (2)
6. Paper - James Fletcher - Arthur M. Bueche award remarks
7. Paper - Arcot Rajasekar, J. Lobo, J. Minker - Skeptical Reasoning and
disjunctive programs
8. Stanford review - re: Glenn Campbell
9. Paper - O.M. Kosheleva, V. Kreynovich - Extra Terrestrial civilizations:
25 years of search - mathematical survey
10. Ltr - Jose Chelala Lopez, 4th Intl Symp on Know Engr accepting 5K fee.
In travel folder in secretary desk drawer.
11. Brochure - C. Tajnai
12. Computing at Stanford
13. Paper- T. Przymusinski - Non-monotonic formalism and logic programmina
14. Paper - M. Gelfond, H. Przymusinska - On the relationship between
autoepistemic logic and parallel circumscription
15. Paper - H. Przymusinska - on the relationship between autoepistemic logic
and prioritized circumscription for stratified deductive data bases
16. Paper - H. Przymusinska - The embeddability of hierarchic autoepistemic
logic in autoepistemic logic
17. Paper - M. Gelfond, H. Przymusinska, T. Przymusinski - On the
relationship between circumscription and negation as failure
18. Paper - M. Gelfond, H. Przymusinska - Inheritance reasoning with maximum
power principle
19. Paper - H. and T. Przymusinski - Weakly stratified logic programs
20. Paper - M. Gelfond, H and T. Przymusinski - On the relationship between
CWA, minimal model and minimal herbrand model semantics
21. Paper - M. Gelfond, H. Przymusinska - Negation as failure: careful closure
procedure
22. Paper - Giovanni Manzini - Theoretical approach to the asymptotic complexity
of massively parallel best first algorithms
23. Paper - Giovanni Manzini - Complexity of heuristic high parallel search
algorithms: theoretical results and experimental validation on the
connection machine
24. Paper - Progetto di intelligenza artificiale del politecnico di milano
(Italian)
25. Report - Department of Electronics, Politecnico di Milano - The Milan
Polytechnic AI project
26. Paper - Leslie Kaelbling - Foundations of learning in autonomous agents
27. Paper - Moises Goldszmidt - On the consistency of defeasible databases
TR CSD-890034 R-122 - July 28, 1989
28. Curriculum committee report to faculty CSD
29. Letter - Philip Siegelman - NAScholars
30. Paper - M. Gelfond - Logic programs with classical negation
31. Research Report - IBM - RC 14706 - CS/Math - Francisco Corella - Mechanizing
set theory
32. Extended Abstract - David Etherington - Nonmonotonicity and the scope of
reasoning
33. Clipping -FAX basher
34. NY Time 10-17-89 - Kiss Florida Goodby (re: Kaku, Grossman, Gofman, losers)
35. Paper - Y. J. Jiang - An autoepistemic logical view of knowledge base
9th FST/TCS, Springer Verlag
36. Paper - Y. J. Jiang - A resolution method for autoepistemic predicate logic
37. National Review article, Oct 13, 89 - Yes Sir, Ma'am - William Hawkins
38. National Review article, Oct 13, 89 - Socialism by the textbook - Tom Bethell
39. Paper - Yoram Moses and M. Tennenholtz - Barriers, tools, and the
qualitative complexity of processes (prelim)
40. National Review, Oct 13, 89 - Civilization and its malcontents - Sidney Hook
41. Paper - Robert Boyer, M. Green, J. Moore - The use of a formal simulator
to verify a simple real time control program
42. 1989 Kyoto prize winners
43. Stanford service for S. Hook
44. Resume - Bruce Baumgart
45. Paper - Lenhart K. Schubert - Monotonic solution of the frame problem in the
situation calculus
46. Paper - Moshe Tennenholtz - Y. Moses - On cooperation in a multi-entity
model (prelim)
47. Proposal for research in the foundations of AI
48. Symbolic Systems Program - Senior Honors
49. High Frontier, October 1989
50. Prelim Report (draft) Jun Arima - A connotative treatment of circumscription
51. Article -October 5, 89 Science - Daniel C. Dennett - Murmurs in the
Cathedral
52. Offprint - Raritan, a quarterly review - Nicholas Humphrey, D. Dennett -
Speaking for ourselves: an assessment of multiple personality disorder
53. Paper (final draft) Daniel Dennett - Mother nature versus the walking
encyclopedia: a western drama
NOVEMBER 1989
1. Ltr - Confer doctor of science from Robert P. McArthur - Colby College, Maine
2. Paper - Sarit Kraus, D. Lehmann, M. Magidor - Nonmonotonic Reasoning,
Preferential models and cumulative logics
3. CV - John Hennessy
4. Ltr - Eris Society, Chuck Estes, Rochard Nesbit, La Habra, CA
5. Paper - Seymour Lipset - Politics and society in the USSR: a travellers report
6. Resume and selected papers of Vlad Grigore Dabija. From Romania
7. Paper - Vladik Kreinovich - Coincidences are not accidental: a simple
theorem
8. Ltr - Review of Bloomfield book - Tufts University center for cognitive studies
9. Paper - JP Jones and Y Matijasevic - Proof of recursive unsolvability of
Hilberts tenth problem
DECEMBER 1989
1. Ltr - Kluwer - requesting comments on new journal AI and Law journal
2. Ltr - Ency. of Applied physics - requesting article on cybernetics
3. Ltr - K. S. Zadeh -Invitation to join Advisory Board of new journal AI and Phil
4. Ltr - D. M. Gabbay - requesting contribution to journal of logic and computation
5. Ltr - James Fetzer - invitation to become member of editorial board of new
journal philosophy and AI
6. Ltr + request to visit lab as researcher - Matsayuki Chatani, Japan, Sony
7. Chapter 4 - Monotonic combinations of nonmonotonic theories, Rathmann
8. Paper - John Cremona, S. Landau - Shrinking Lattice Polyhedra
9. Paper - M.H. van Emden, K. Clark - The logic of two-person games, chapter 12.
10. Paper - Bijan Arbab - A note on first order theories of individual concepts
and propositions
11. Paper - M. Gelfond, V. Lifschitz - Disjunctive defaults
12. Paper - The fruitfly on the fly, McCarthy lecture, re: chess as drosophila
13. clipping, nyt dec 11, former Allende supporters mature to neo-conservatives
14. Material on College bound seniors with high scores, SAT
from Research and Development, The College Board, 45 Columbus Ave.
New York, NY 10023-6992
15. Rational views of irrationalists, New Scientist 1989 sep 9, Stuart Sutherland
16. The importance of being emotional, Keith Oatley, New Sci. 1989 aug 14
17. Public Affairs Report, ucb with article by Richard M. Abrams on
Military-University Complex: A troubled relationship.
18. clipping nyt dec 11, Voinovich op-ed, The Country is falling apart: No
meat or soap. Whom to blame? The Jews.
19. Free Bonus Article (REVIEW) Rational views of irrationalists, Stuart Sutherland
JANUARY 1990
1. Paper - Anthony Gottlieb - Heidegger for Fun and Profit
2. Paper - Akio Morita, S. Ishihara - The Japan that can say no
3. Ltr - Pete Maclean - re: jmc email in December CACM - author of Emma, a public
domain program for PCs
4. Paper - Halina Przymusinska, T. Przymusinski - Semantic Issues in deductive
databases and logic programs
5. Paper - Gordon Skorstad, K. Forbus - Qualitative and Quantitative Reasoning
about Thermodynamics
6. Paper - George Reeke, L. Finkel, O. Sporns, G. Edelman - Synthetic Neural
Modeling: A multilevel approach to the analysis of brain complexity
7. Ltr - Philip Leith, Queens University of Belfast (re: law challenge)
8. Memo - Jim Rosse - Action plans for change project
9. Paper - Carl Hewitt - AI and/or Open Systems Technoscience
10. MAA Focus (re: Chudnovsky series for pi)
11. The concrete Supermarket (re: vtss 160)
12. Paper for Logic in CS Conf, 6-90 - Michael Beeson - Logic and Symbolic
Computation
13. Qualifying-Exam Syllabus, 11-87 - Mathematical Theory of Computation
14. Paper - Fruitfly on the fly - corrections - ltr from Intl Computer Chess Assn
15. Paper - Vladik Kreinovich - Planck Formula: A challenge for ai
16. Paper - Vladik Kreinovich - How to choose the most beautiful curve - variational
foundations of metafont and tex
17. Memo - Jim Rosse, Indirect Costs
18. Letter - Consultant Agreement for Lawrence Livermore
19. Paper - Karen Myers, D. Subramanian, R. Zabih + Reading list for the
qualifying examination in ai
20. Paper - Charles Elkan - Incremental, approximate planning (prelim report)
21. e-mail - brad templeton apologizes
22. Paper - M. M. Gilula, A.P. Stolboushkin - Starset: programming language for
information systems software design
23. Paper - Alexey Stolboushkin - Flow-diagrams with sets
24. Paper - Elwyn Berlekamp - Two-person, Perfect-information GAMES
25. Paper - Elwyn Berlekamp - blockbusting and domineering - reprint from
journal of combinatorial theory
26. Letter with resume from Eli Shamir, hebrew Univ. of Jerusalem - considering
promotion of daniel Lehmann
27. Invitation to Stefan Banach International Mathematical Center, Poland
28. Paper (in Russian) Hilbert excerpt on finitism
29. Letter - Union of Concerned Scientists - global warming
30. Letter from Suppes - Invitation to Matiiassevitch, Marianna Mints, Enn Tyugu
and Gregory Mints
31. Paper - Matthew Ginsberg - Bilattices and Modal Operators
32. Measures No. 77, Ja. 89 - The Politics of curriculum building, S. Hook
33. Paper - V. Lifschitz - Logical foundations of deductive databases
34. Paper - James Dzierzanowski, G. MacKinnon - The authorizers assistann: a
knowledge-based credit authorization system for american express
35. DECstation 3100 performance summary part 2 (performance details)
36. DECstation 3100 performance summary part 1 (a performance and price/performance
overview)
37. Newspaper articles (re: western civilization, CIV)
38. Paper - Y. Shoham - Agent-oriented programming
39. Paper - V. Kreinovich - these are the laws of nature and there are no
other laws, or how to formalize physical reasoning (with letter attached)
40. Magazine article in Dutch - chess championship in Edmonton
41. Paper - H.J. van der Herik - Goal-directed Search in Chess End Games -
General Sciences
42. Paper - Elisha Sacks - Automatic Qualitative Analysis of Continuous Dynamic
Systems by Intelligent Numeric Simulation
43. Paper - Jon Doyle, E. Sacks - Stochastic analysis of qualitative dynamics
44. Gifts and government grants - Hoover - confidential
45. The Hoover Institution, Introductory Remarks, G. Campbell
46. Hoover Institution Annual Report 1988
47. Paper - V. Lifschitz - Frames in the space of situations
48. Paper - CTSS/Project MAC - (re: tape on time-sharing - transcript)
49. Paper - David Etherington, S. Kraus, D. Perlis - Nonmonotonicity and the
scope of reasoning
50. Memo - D. Kennedy - Restructuring for the second century
51. Letter - Robin Milner - University of Edinburgh - request for info on 2
prospective fellows
52. Paper - V. Lifschitz - circumscriptive theories: a logic-based framework
for knowledge representation
53. Proposal to Campus Report (re: RHF, rec.humor.funny) Anthony Siegman
54. Release 1.0 - EDventure Holdings
55. Why LISP - Lucid
56. Paper - H.J. van der Herik - Representation of experts knowledge in a
subdomain of chess intelligence
57. ICCA Journal, vol 12, june 89
58. Report STAN-CS-86-1122 - Glenn Rennels - A computational model of reasoning from
the clinical literature
59. Reply to jmc from david kirsh re (comments on carl hewitts organizational
semantics
60. Paper - V. Kreinovich - these are the laws of nature and there are no
other laws, or how to formalize physical reasoning
61. CTSS/Project MAC 25th Anniversary Interviews
62. Paper - David McAllester, B. Givan, T. Fatima - Taxonomic syntax for
first order inference
63. Paper - CSLI - C. Raymond Perrault - An application of default logic to
speech act theory
64. Paper - CSLI - Jon Barwise - Mathematical proofs of computer system correctness
65. Letter - Alexander Dallin - Western culture
66. Paper - Philip Cohen - Intention is choice with commitment
67. Paper - Murray Shanahan - Prediction is deduction bu explanation is abduction
68. Paper - Murray Shanahan - A simple logical framework for prediction problems
(re: event calculus, Kowalski, Sergot)
69. Paper - Philip Cohen - Rational interaction as the basis for communication
70. Technical Report 302, July 89, Univ of Rochester, Don Perlis - Some
brief essays on mind
71. Request for Ph.D. Program in AI from j.q. shao, Univ of Calgary
FEBRUARY 1990
1. Paper - Wiederhold - Knowledge and database management
2. Ltr - van den herik - 1-4-90 -Fruitfly paper (thanks for contribution)